close
1.

電子ブック
ＥＢ
1. 数理パズルで楽しく学べる論理学 (: electronic bk)
藤田憲悦著
出版情報: 東京 : コロナ社, 2022
オンライン: https://kinoden.kinokuniya.co.jp/Shinshu/bookdetail/p/KP00065047　（試し読み）
所蔵情報: loading…
2.

図書
図書
2. 計算理論と数理論理学 = Mathematics of logic and computation
田中一之著
出版情報: 東京 : 共立出版, 2022.6
所蔵情報: loading…
3.

電子ブック
ＥＢ
3. 計算理論と数理論理学 = Mathematics of logic and computation (: electronic bk)
田中一之著
出版情報: 東京 : 共立出版, 2022
オンライン: https://kinoden.kinokuniya.co.jp/Shinshu/bookdetail/p/KP00080959　（試し読み）
所蔵情報: loading…
4.

図書
図書
4. ろんりの相談室 : 大学1年生の真理値表と体系
鈴木登志雄著
出版情報: 東京 : 日本評論社, 2021.7
所蔵情報: loading…
5.

図書
図書
5. 論理学への数学的手引き
Herbert B. Enderton [著] ; 嘉田勝訳
出版情報: [出版地不明] : 1月と7月, 2020.9
所蔵情報: loading…
6.

電子ブック
ＥＢ
6. 世界を満たす論理 : フレーゲの形而上学と方法 (: electronic bk)
荒畑靖宏著
出版情報: 東京 : 勁草書房, 2019.8
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000081718　（試読期間限定）
所蔵情報: loading…
7.

図書
図書
7. Coq/Ssreflect/Mathcompによる定理証明 : フリーソフトではじめる数学の形式化
萩原学, アフェルト・レナルド共著
出版情報: 東京 : 森北出版, 2018.4
所蔵情報: loading…
8.

図書
図書
8. はじめての数理論理学 : 証明を作りながら学ぶ記号論理の考え方
山田俊行著
出版情報: 東京 : 森北出版, 2018.7
所蔵情報: loading…
9.

電子ブック
ＥＢ
9. 含意命題の探究 : 「ならば」のロジックで数学する頭脳を鍛えよう (: electronic bk)
米谷達也, 数理哲人共著
出版情報: 京都 : 現代数学社, 2018.1
オンライン: https://elib.maruzen.co.jp/elib/html/BookDetail/Id/3000049631　（試読期間限定）
所蔵情報: loading…
10.

図書
図書
10. 情報理論のための数理論理学
板井昌典著
出版情報: 東京 : 共立出版, 2017.8
シリーズ名: 数学のかんどころ ; 31
所蔵情報: loading…