Metamathematics, machines and Godel's proof.

書目詳細資料
主要作者: Shankar, N
格式: Printed Book
語言:English
出版: Cambridge: Cambridge University Press, 1994.
主題:
Godel;s theorem.
實物特徵
實物描述:xv, 202p.

相似書籍