Заметки
Иллюзии
Библиотека
Под редакцией А.В.Идельсона и Г.Е.Минца
Книги Под редакцией А.В.Идельсона и Г.Е.Минца
Математическая теория логического вывода. Математическая логика и основания математики
Эта книга представляет собой сборник переводов (единственное исключение составляет статья…