このページのリンク

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies / Wilfried Buchholz ... [et al.]
(Lecture notes in mathematics ; 897)

データ種別 図書
出版者 Berlin ; New York : Springer-Verlag
出版年 1981
本文言語 英語
大きさ v, 383 p. : ill. ; 25 cm

所蔵情報を非表示

積層4層 : Berlin 410.8||L||897 9852174247
3540111700

書誌詳細を非表示

一般注記 Bibliography: p. [358]-368
Includes index
著者標目  Buchholz, Wilfried, 1948-
分 類 LCC:QA3
LCC:QA299.8
DC19:510 s
DC19:511
件 名 LCSH:Mathematical analysis -- Foundations  全ての件名で検索
LCSH:Induction (Mathematics)
LCSH:Proof theory
書誌ID TY00017023
ISBN 3540111700
NCID BA04001778