OPAC

Proof theory : an introduction / Wolfram Pohlers
(Lecture notes in mathematics ; 1407)

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

出版情報	Berlin ; Tokyo : Springer-Verlag , c1989
大きさ	vi, 213 p. ; 25 cm
一般注記	Bibliography: p. 190-207 Includes index
著者標目	*Pohlers, Wolfram
件　名	LCSH:Proof theory
分　類	LCC:QA9.54 DC19:511.3 NDC8:410.9 NDC8:410.8
本文言語	英語
書誌ID	TB00087585
ISBN	3540518428
NCID	BA07524444
巻冊次	: gw ; ISBN:3540518428 : us ; ISBN:0387518428

目次／あらすじ