Memoirs of a proof theorist Gödel and other logicians /

Сохранить в:
Библиографические подробности
Главный автор: Takeuti, Gaisi, 1926-
Соавтор: ebrary, Inc
Формат: Электронный ресурс eКнига
Язык:английский
японский
Опубликовано: River Edge, NJ : World Scientific, c2003.
Редактирование:[Rev. ed.].
Предметы:
Online-ссылка:An electronic book accessible through the World Wide Web; click to view
Метки: Добавить метку
Нет меток, Требуется 1-ая метка записи!