1.

図書
図書
1. 真理・証明・計算 : 論理と機械
内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1989.4
所蔵情報: loading…
2.

図書
図書
2. いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門
内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1981.2
所蔵情報: loading…
3.

図書
図書
3. 論理学 : モデル理論と歴史的背景
神野慧一郎, 内井惣七著
出版情報: 京都 : ミネルヴァ書房, 1976.5
所蔵情報: loading…