Под редакцией А.В.Идельсона и Г.Е.Минца

Книги Под редакцией А.В.Идельсона и Г.Е.Минца

Математическая теория логического вывода. Математическая логика и основания математики

Эта книга представляет собой сборник переводов (единственное исключение составляет статья…