ENGLISH

Iterated Inductive Definitions and Subsystems of Analysis: Recent Proof-Theoretical Studies

By Solomon Feferman , Wolfram Pohlers , Wilfried Buchholz , Wilfried Sieg (auth.)

Book information

Publisher
Springer-Verlag Berlin Heidelberg
Year
1981
ISBN
978-3-540-11170-2, 978-3-540-38649-0
DOI
10.1007/BFb0091894
Language
english
Format
PDF
Filesize
5 MB (5517036 bytes)
Series
Lecture Notes in Mathematics 897
Edition
1
Pages
384\388
Orientation
yes
Scanned
yes
Time added
2013-08-01 04:00:00
Mathematical Logic and Foundations

Similar books