自治医科大学を検索します。
CiNii Booksを検索します。
CiNii Research を検索します。
IRDBを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:7件
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
図書
記号論理学 / ジャン・ショーヴィノー著 ; 芹沢正三訳
5版. - 東京 : 白水社 , 1966. - (文庫クセジュ ; 257)
記号論理入門 / 前原昭二著
東京 : 日本評論社 , 1967.10. - (日評数学選書)
論理学入門 / 丹治信春著
東京 : 筑摩書房 , 2014.5. - (ちくま学芸文庫 ; [タ41-1])
数理論理学 / 松本和夫著
増補版. - 東京 : 共立出版 , 1971.12. - (共立講座現代の数学 ; 1)
論理学 / 吉田夏彦著
東京 : 培風館 , 1958.4. - (新数学シリーズ / 吉田洋一監修 ; 10)
記号論理学 / ニーボン著 ; 安藤洋美訳
東京 : 明治図書出版 , 1970. - (数理論理学と数学基礎論 : その序論的解説 / ニーボン著 ; 安藤洋美訳 ; 第1)