---

＜図書＞
ショウメイロン ニュウモン
証明論入門 / 竹内外史,八杉満利子 共著

出版者	東京 : 共立出版
出版年	1988.2
大きさ	191p ; 22cm
著者標目	竹内, 外史(1926-) <タケウチ, ガイシ > 八杉, 満利子(1937- ) <ヤスギ, マリコ(1937- )>
件　名	証明(数学上)
一般注記	『数学基礎論』(1974年刊)の改題 参考文献:文献:p186〜187

 類似資料