WebOPAC Local書誌詳細

長岡工業高等専門学校

ヘルプログイン

書誌詳細

長岡工業高等専門学校

検索結果一覧へ戻る

	Theory of formal systems by Raymond M. Smullyan. -- Rev. ed. -- Princeton University Press, 1962. -- (Annals of mathematics studies ; no. 47). <BB01684853> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

Theory of formal systems by Raymond M. Smullyan. -- Rev. ed. -- Princeton University Press, 1962. -- (Annals of mathematics studies ; no. 47). <BB01684853> 便利機能：エクスポート先選択エクスポート先を選択してください。このウインドウを閉じる詳細情報を見る書誌URL：

所蔵一覧 1件～1件（全1件）

ナンバーをクリックすると所蔵詳細をみることができます。

No.	巻号	所蔵館	配置場所	請求記号	資料ID	状態	コメント	返却予定日	予約
0001		長岡高専	開架図書	410.8\|\|A49\|\|47	002008878				0件


No.	0001
巻号
所蔵館	長岡高専
配置場所	開架図書
請求記号	410.8\|\|A49\|\|47
資料ID	002008878
状態
コメント
返却予定日
予約	0件

このページのTOPへ

書誌詳細

標題および責任表示	Theory of formal systems / by Raymond M. Smullyan
版事項	Rev. ed
出版・頒布事項	Princeton, N.J. : Princeton University Press , [preface, 1962]
形態事項	vii, 147 p : ill. ; 24 cm
書誌構造リンク	Annals of mathematics studies <BB01239406> no. 47//a
注記	Includes bibliographical references (p. 141-142) and index
学情ID	BA25912423
本文言語コード	英語
著者標目リンク	*Smullyan, Raymond M., 1919- <NC:DA01209440>
分類標目	LCC:QA248.5
分類標目	DC:512.8
分類標目	代数学 NDC8:411.6
件名標目等	Recursive functions
件名標目等	Metamathematics

このページのTOPへ

検索結果一覧へ戻る

このページのTOPへ