OPAC

Proof theory / Kurt Schütte ; translation from the German by J.N. Crossley
(Die Grundlehren der mathematischen Wissenschaften ; Bd. 225)

配架場所	巻　次	請求記号	資料番号	原簿番号	状　態	ISBN	予約	指定図書	仮想書架
応用数学(越)		410.8/G 1/225	50000135955	135955					仮想書架		仮想書架

出版情報	Berlin ; New York : Springer-Verlag , 1977
大きさ	xii, 302 p. ; 25 cm
別書名	原タイトル:Beweistheorie
一般注記	Bibliography: p. [293]-296 Includes index
著者標目	*Schütte, K. (Kurt)
件　名	LCSH:Proof theory
分　類	LCC:QA9.54 DC:511/.3
本文言語	英語
書誌ID	TB10013814
ISBN	0387079114
NCID	BA01358976
巻冊次	: us ; ISBN:0387079114 : gw ; ISBN:3540079114

目次／あらすじ