1.

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

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

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

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