Поиск :
Личный кабинет :
Электронный каталог: Справочник серий издательств
К списку серий
Математическая логика и основания математики
Издательства: НаукаСвязанные описания:
На полку
Книга
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
Чень, Ч.
Математическая логика и автоматическое доказательство теорем
Symbolic logic and mechanical theorem proving
Наука, 1983 г.
ISBN отсутствует
Книга
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Grundlagen der Mathematik
Наука, 1979 г.
ISBN отсутствует
Гильберт, Д.
Основания математики: логические исчисления и формализация арифметики
Grundlagen der Mathematik
Наука, 1979 г.
ISBN отсутствует
Книга
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует
Новиков, П. С.
Конструктивная математическая логика с точки зрения классической
Наука, 1977 г.
ISBN отсутствует