Metamathematics, machines and Godel's proof.

书目详细资料
主要作者: Shankar, N
格式: Printed Book
语言:English
出版: Cambridge: Cambridge University Press, 1994.
主题:
Godel;s theorem.
实物特征
实物描述:xv, 202p.

相似书籍