NCID | BA22888457 |
タイトル | Metamathematics, machines, and Gödel's proof / N. Shankar |
出版者 | Cambridge : Cambridge University Press , 1994 |
形態 | xv, 202 p. : ill. ; 26 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 | 052142027X
|
番号 | NBN : B9450772 |