close
1.

図書
図書
1. 証明論入門
竹内外史, 八杉満利子共著
出版情報: 東京 : 共立出版, 1988.2
所蔵情報: loading…
2.

図書
図書
2. 数学基礎論の世界 : ロジックの雑記帳から
竹内外史著
出版情報: 東京 : 日本評論社, 1972.5
所蔵情報: loading…