close
1.

図書
図書
1. 数理論理学 : 合理的エージェントへの応用に向けて
加藤暢, 高田司郎, 新出尚之共著
出版情報: 東京 : コロナ社, 2014.10
所蔵情報: loading…
2.

図書
図書
2. 数学の言葉と論理
渡辺治 [ほか] 著
出版情報: 東京 : 朝倉書店, 2008.9
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 1
所蔵情報: loading…
3.

図書
図書
3. 数理基礎論講義 : 論理・集合・位相
金子晃著
出版情報: 東京 : サイエンス社, 2010.6
シリーズ名: ライブラリ数理・情報系の数学講義 ; 1
所蔵情報: loading…
4.

図書
図書
4. 数理論理学
鹿島亮著
出版情報: 東京 : 朝倉書店, 2009.10
シリーズ名: 現代基礎数学 / 新井仁之 [ほか] 編 ; 15
所蔵情報: loading…
5.

図書
図書
5. 数学の基礎体力をつけるためのろんりの練習帳
中内伸光著
出版情報: 東京 : 共立出版, 2002.2
所蔵情報: loading…
6.

図書
図書
6. タブローの方法による論理学入門
丹治信春著
出版情報: 東京 : 朝倉書店, 1999.11
所蔵情報: loading…
7.

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