| NCID | BA25912423 |
| タイトル | Theory of formal systems / by Raymond M. Smullyan |
| 版次 | Rev. ed |
| 出版者 | Princeton, N.J. : Princeton University Press , [preface, 1962] |
| 形態 | vii, 147 p : ill. ; 24 cm |
| 注記 | Includes bibliographical references (p. 141-142) and index |
| シリーズ名 | Annals of mathematics studies ; no. 47
|
| 分類 | LCC:QA248.5
DC:512.8
NDC8:411.6 |
| 件名 | LCSH:Recursivefunctions
LCSH:Metamathematics
|
| 著者情報 | Smullyan, Raymond M., 1919-
|
| 和洋区分 | 洋 |
| 標題言語 | 英語 |
| 本文言語 | 英語 |
| 出版国 | アメリカ合衆国 |
| 番号 | LCCN : 60014063 |