1.

図書
図書
1. ゲーデル・不完全性定理 : “理性の限界"の発見
吉永良正著
出版情報: 東京 : 講談社, 1992.12
シリーズ名: ブルーバックス ; B-947
所蔵情報: loading…
2.

図書
図書
2. 記号論理入門
金子洋之著
出版情報: 東京 : 産業図書, 1994.10
シリーズ名: 哲学教科書シリーズ
所蔵情報: loading…
3.

図書
図書
3. 新しい論理序説
本橋信義著
出版情報: 東京 : 朝倉書店, 1997.4
シリーズ名: すうがくぶっくす / 森毅, 斎藤正彦, 野崎昭弘編 ; 16
所蔵情報: loading…
4.

図書
図書
4. 哲学論集
G.フレーゲ著 ; 黒田亘, 野本和幸編
出版情報: 東京 : 勁草書房, 1999.9
シリーズ名: フレーゲ著作集 / G.フレーゲ著 ; 4
所蔵情報: loading…
5.

図書
図書
5. 数学の基礎
D. ヒルベルト, P. ベルナイス著 ; 吉田夏彦, 渕野昌訳
出版情報: 東京 : シュプリンガー・フェアラーク東京, 1993.10
シリーズ名: シュプリンガー数学クラシックス
所蔵情報: loading…
6.

図書
図書
6. 証明のすすめ : 数学の証明
リュディガー・ティーレ原著 ; 金井省二訳
出版情報: 東京 : 森北出版, 1990.7
所蔵情報: loading…
7.

図書
図書
7. 知識と推論
森下真一著
出版情報: 東京 : 共立出版, 1994.1
シリーズ名: 情報数学講座 ; 10
所蔵情報: loading…
8.

図書
図書
8. ソフトウェア科学のための論理学
萩谷昌己 [著]
出版情報: 東京 : 岩波書店, 1994.1
シリーズ名: 岩波講座ソフトウェア科学 / 長尾真 [ほか] 編 ; 11
所蔵情報: loading…
9.

図書
図書
9. 情報科学における論理
小野寛晰著
出版情報: 東京 : 日本評論社, 1994.4
シリーズ名: 情報数学セミナー
所蔵情報: loading…