Diagonalization and self-reference.

书目详细资料
主要作者: Smullyan, Raymond M.
格式: Printed Book
语言:English
出版: Oxford ; Clarendon Press, 1996.
主题:
Recursion theory.
Fixed point theory.
Fixed point theory.
实物特征
实物描述:xv, 396 p. : ill. ;

相似书籍