close
1.

図書
図書
1. 数理論理学の基礎・基本. POD版
坪井明人著
出版情報: 東京 : 森北出版, 2023.7
所蔵情報: loading…
2.

図書
図書
2. 証明の読み方・考え方 : 数学的思考過程への手引き
Daniel Solow著 ; 西村康一, 服部久美子訳
出版情報: 東京 : 共立出版, 2023.11
所蔵情報: loading…
3.

図書
図書
3. ∀と∃
石谷茂著
出版情報: 京都 : 現代数学社, 2022.3
シリーズ名: 数学の盲点とその解明 ; 2
所蔵情報: loading…
4.

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

図書
図書
5. 世界を満たす論理 : フレーゲの形而上学と方法
荒畑靖宏著
出版情報: 東京 : 勁草書房, 2019.8
所蔵情報: loading…
6.

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

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

図書
図書
8. 集合・論理と位相
新井敏康著 ; 基幹講座数学編集委員会編
出版情報: 東京 : 東京図書, 2016.11
シリーズ名: 基幹講座数学
所蔵情報: loading…
9.

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

図書
図書
10. 学んでみよう!記号論理
高崎金久著
出版情報: 東京 : 日本評論社, 2014.8
所蔵情報: loading…