大学の資料を検索します。
CiNiiを検索します。
CiNii Booksを検索します。
CiNii Dissertationsを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.12)
該当件数:8件
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
ゲーデル・不完全性定理 : "理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
Computability and logic / George S. Boolos, Richard C.Jeffrey
: pbk. - 3rd ed. - Cambridge, [Cambridgeshire] : Cambridge University Press , 1989
Self-reference and modal logic / C. Smoryński
: us,: gw. - New York : Springer-Verlag , c1985. - (Universitext)
Mathematical logic / H.-D. Ebbinghaus, J. Flum, W. Thomas
: us,: gw. - New York : Springer-Verlag , c1984. - (Undergraduate texts in mathematics)
Logic and structure / Dirk van Dalen
: us:pbk.,: gw. - 2nd ed., corrected 2nd print. - Berlin : Springer-Verlag , c1983. - (Universitext)