出版者	東京 : 共立出版
出版年	1988.2
大きさ	2, 2, 191p ; 22cm
別書名	異なりアクセスタイトル:証明論入門 : 数学基礎論改題
一般注記	「数学基礎論」増補版(1974年刊)の改題改訂 文献: p[186]-187
著者標目	竹内, 外史(1926-) <タケウチ, ガイシ>  八杉, 満利子(1937-) <ヤスギ, マリコ>
件　名	BSH:数学基礎論
分　類	NDC8:410.9 NDC7:410.1 NDLC:MA41
書誌ID	B000117245
本文言語	日本語
ISBN	4320014065
NCID	BN01958614