CiNii Booksを検索します。
NDLサーチを検索します。
本学の蔵書を検索した結果です。電子媒体は詳細画面から外部へリンクする事が可能です。
検索キーワード:(標準分類: 410.96)
該当件数:22件
数学教師が教えるやさしい論理学 / 涌井良幸著
東京 : ベレ出版 , 2023.3
図書
数理パズルで楽しく学べる論理学 / 藤田憲悦著
東京 : コロナ社 , 2022.3
ろんりの相談室 : 大学1年生の真理値表と体系 / 鈴木登志雄著
東京 : 日本評論社 , 2021.7
はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方 / 山田俊行著
東京 : 森北出版 , 2018.7
不完全性定理とはなにか : ゲーデルとチューリングの考えたこと / 竹内薫著
東京 : 講談社 , 2013.4. - (ブルーバックス ; B-1810)
数学的推論が世界を変える : 金融・ゲーム・コンピューター / 小島寛之著
東京 : NHK出版 , 2012.12. - (NHK出版新書 ; 394)
日本語から記号論理へ / 齋藤正彦著
東京 : 日本評論社 , 2010.5
数学嫌いのためのコンピュータ論理学 : 何でも「計算」になる根本原理 / マーティン・ディヴィス著 : 岩山知三郎訳
東京 : コンピュータ・エージ社 , 2003.7
ゲーデルの哲学 : 不完全性定理と神の存在論 / 高橋昌一郎著
東京 : 講談社 , 1999.8. - (講談社現代新書 ; 1466)
初歩からの数理論理 / ア・ア・ストリャール著 ; 保坂秀正, 山崎昇共訳
東京 : 大竹出版 , 1998.7
数理論理学入門 / 角田譲著
東京 : 朝倉書店 , 1996.6
情報科学における論理 / 小野寛晰著
東京 : 日本評論社 , 1994.4. - (情報数学セミナー)
ゲーデルの謎を解く / 林晋著
東京 : 岩波書店 , 1993.11. - (岩波科学ライブラリー ; 6)
ゲーデル・不完全性定理 : “理性の限界"の発見 / 吉永良正著
東京 : 講談社 , 1992.12. - (ブルーバックス ; B-947)
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
東京 : 白揚社 , 1990.11
パズルとパラドックス / 内井惣七著
東京 : 講談社 , 1989.10. - (講談社現代新書 ; 970)
数理論理学とタイプ理論 : 証明による真理へ / Peter B. Andrews [著] ; 小川原倫子訳
東京 : 丸善 , 1987.12
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロー著 ; 安藤四郎 [ほか] 訳
東京 : 共立出版 , 1985.6
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
東京 : 大修館書店 , 1982.7
Handbook of mathematical logic / Ed. by Jon Barwise
Amsterdam, : North-Holland , 1977. - (Studies in logic and the foundations of mathematics, ; vol. 90)