1.

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

図書
図書
2. 記号論理学
ペー・エス・ノヴィコフ著 ; 石本新訳
出版情報: 東京 : 東京図書, 1965.8
シリーズ名: 数学選書
所蔵情報: loading…
3.

図書
図書
3. 入門新しい数学
矢野健太郎著
出版情報: 東京 : 共立出版, 1963
シリーズ名: 市民の数学 / 黒田孝郎 [ほか] 編 ; 8
所蔵情報: loading…
4.

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

図書
図書
5. ∀と∃に泣く
石谷茂著
出版情報: 京都 : 現代数学社, 1973.10
シリーズ名: 数学の盲点とその解明 / 石谷茂著
所蔵情報: loading…
6.

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