| NCID | BA31243780 |
| タイトル | Metamathematics, machines, and Gödel's proof / N. Shankar |
| 出版者 | Cambridge : Cambridge University Press , 1997 |
| 形態 | xv, 202 p. : ill. ; 25 cm |
| 注記 | Includes bibliographical references and index |
| シリーズ名 | Cambridge tracts in theoretical computer science ; 38
|
| 分類 | DC20:511.3
DC20:511.3/0285/53 |
| 件名 | LCSH:Gödel'stheorem -- Dataprocessing
LCSH:Automatictheoremproving
|
| 著者情報 | Shankar, N.
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | イギリス |
| ISBN | 0521585333(: pbk)
|