証明論入門

• タイトルヨミ: ショウメイロンニュウモン
• 著編者等／著者名等: 竹内外史‖共著 八杉満利子‖共著
• 統一著者名: 竹内外史 八杉満利子
• 著編者等ヨミ／著者名等ヨミ: タケウチガイシ ヤスギマリコ
• 出版者: 共立出版
• 出版地: 東京
• 出版年: 1988.2
• 大きさ: 191p
• 件名: 証明(数学)
• 分類: 410.9,410.9 410.9
• ISBN: 4-320-01406-5
• マークNo: TRC000000088-05519
• タイトルコード: 1005010189231
• 資料番号: 00000000000000296939
• 請求記号: 410.1/48
• 一般注記: 「数学基礎論」増補版(1974年刊)の改題改訂
• 種別: 図書