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. ;

相似書籍