---

＜図書＞
Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... {et al.}.
(Lecture notes in mathematics ; 897)

出版者	Berlin : Springer
出版年	1981
大きさ	v, 383 p. : ill. ; 25 cm.
著者標目	Buchholz, Wilfried, 1948-
件　名	Mathematical analysis -- Foundations  全ての件名で検索 Induction (Mathematics) Proof theory
一般注記	Includes index.

 類似資料