Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

書誌事項

Iterated inductive definitions and subsystems of analysis : recent proof-theoretical studies

Wilfried Buchholz ... [et al.]

(Lecture notes in mathematics, 897)

Springer-Verlag, 1981

  • : Berlin
  • : New York

大学図書館所蔵 件 / 74

この図書・雑誌をさがす

注記

Bibliography: p. [358]-368

Includes index

関連文献: 1件中  1-1を表示

詳細情報

ページトップへ