山梨大学の蔵書を検索します。
CiNii Booksを検索します。
CiNiiを検索します。
IRDBを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード：(標準分類: 410.12)
該当件数:15件
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
図書
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
モデルの理論 / 坪井明人著
名古屋 : 河合文化教育研究所. - 東京 : 河合出版 (発売) , 1997.2. - (数学基礎論シリーズ / 倉田令二朗監修 ; 3巻)
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
東京 : 丸善 , 1996.7
知識処理論 / 萩野達也著
東京 : 産業図書 , 1995.6. - (知識・情報・メディア/シリーズ)
論理 / 廣瀬健著
東京 : 日本評論社 , 1994.5. - (現代応用数学の基礎)
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
知識と推論 / 森下真一著
東京 : 共立出版 , 1994.1. - (情報数学講座 ; 10)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
情報の論理数学入門 : ブール代数から述語論理まで / 小倉久和, 高濱徹行共著
東京 : 近代科学社 , 1991.4
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
東京 : 丸善 , 1987.12
Non-standard analysis / Abraham Robinson
series,ne,us. - Rev. ed. - Amsterdam : North-Holland. - New York : American Elsevier , 1974. - (Studies in logic and the foundations of mathematics)
Intuitionism : An introduction / [By] A. Heyting
3rd rev. ed. - Amsterdam : North-Holland , 1971. - (Studies in logic and the foundations of mathematics)
記号論理学 / ペー・エス・ノヴィコフ著 ; 石本新訳
東京 : 東京図書 , 1965.8. - (数学選書)
記号論理学 : その成立史の研究 / 末木剛博著
東京 : 東京大学出版会 , 1962.4. - (東大学術叢書 ; 15)
