NCID | BA23453799 |
タイトル | Diagonalization and self-reference / Raymond M. Smullyan |
出版者 | Oxford ; New York : Clarendon Press , 1994 |
形態 | xv, 396 p. ; ill. : 25 cm |
注記 | Includes bibliographical references and index |
シリーズ名 | Oxford logic guides ; 27
|
分類 | LCC:QA9.6 DC20:511.3 |
件名 | LCSH:Recursiontheory
LCSH:Fixedpointtheory
|
著者情報 | Smullyan, Raymond M., 1919-
|
和洋区分 | 洋 |
標題言語 | 英語 |
本文言語 | 英語 |
出版国 | イギリス |
ISBN | 0198534507
|
番号 | LCCN : 94003400 |