Metamathematics, machines and Godel's proof.

Библиографические подробности
Главный автор: Shankar, N
Формат: Printed Book
Язык:English
Опубликовано: Cambridge: Cambridge University Press, 1994.
Предметы:
Godel;s theorem.
Описание
Объем:xv, 202p.

Схожие документы