1.

図書
図書
1. 数理パズルで楽しく学べる論理学
藤田憲悦著
出版情報: 東京 : コロナ社, 2022.3
所蔵情報: loading…
2.

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

図書
図書
3. 論理・集合・数学語
石川剛郎著
出版情報: 東京 : 共立出版, 2015.12
シリーズ名: 共立講座 数学探検 ; 3
所蔵情報: loading…
4.

図書
図書
4. 例題で学ぶ集合と論理
鈴木登志雄著
出版情報: 東京 : 森北出版, 2016.1
所蔵情報: loading…
5.

図書
図書
5. 今度こそわかる論理 : 数理論理学はなぜわかりにくいのか
本橋信義著
出版情報: 東京 : 講談社, 2014.9
シリーズ名: 今度こそわかるシリーズ
所蔵情報: loading…
6.

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

図書
図書
7. 論理と分析 : 文系のための記号論理入門
金子裕介著
出版情報: 京都 : 晃洋書房, 2019.8
所蔵情報: loading…
8.

図書
図書
8. 数学教師が教えるやさしい論理学
涌井良幸著
出版情報: 東京 : ベレ出版, 2023.3
所蔵情報: loading…
9.

図書
図書
9. 論理と意味
長尾真, 淵一博 [著]
出版情報: 東京 : 岩波書店, 1983.1
シリーズ名: 岩波講座情報科学 ; 7
所蔵情報: loading…
10.

図書
図書
10. 記号論理学
山本新, 入江俊夫, 田村高幸著
出版情報: 東京 : 朝倉書店, 2023.11
所蔵情報: loading…