1.

図書
図書
1. パズルとパラドックス
内井惣七著
出版情報: 東京 : 講談社, 1989.10
シリーズ名: 講談社現代新書 ; 970
所蔵情報: loading…
2.

図書
図書
2. 論理
中谷太郎著
出版情報: 東京 : 共立出版, 1967.11
シリーズ名: 新しい数学へのアプローチ ; 2
所蔵情報: loading…
3.

図書
図書
3. 数理論理学入門
入江盛一著
出版情報: 東京 : 培風館, 1973.1
所蔵情報: loading…
4.

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

図書
図書
5. 思考と論理
大森荘蔵著
出版情報: 東京 : 放送大学教育振興会 , 東京 : 日本放送出版協会(発売), 1986.3
シリーズ名: 放送大学教材 ; 21083-1-8611
所蔵情報: loading…
6.

図書
図書
6. コンピュータによる定理の証明
Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
出版情報: 東京 : 日本コンピュータ協会, 1983.9
シリーズ名: コンピュータ・サイエンス研究書シリーズ / 日本コンピュータ協会編 ; 27
所蔵情報: loading…
7.

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

図書
図書
8. 記号論の基礎原理
ユルゲン・トラバント著 ; 谷口勇訳
出版情報: 東京 : 南江堂, 1979.3
所蔵情報: loading…
9.

図書
図書
9. 記号と人間
吉田夏彦著
出版情報: 東京 : 放送大学教育振興会 , 東京 : 日本放送出版協会(発売), 1985.3
シリーズ名: 放送大学教材 ; 55194-1-8511
所蔵情報: loading…