ENGLISH

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

By W. Buchholz , S. Feferman , W. Pohlers , W. Sieg

Book information

Publisher
Springer
Year
1981
ISBN
3540111700, 9783540111702
Language
english
Format
PDF
Filesize
12 MB (12445802 bytes)
Series
Lecture Notes in Mathematics
Edition
1
Pages
383\388
Topic
Education
Time added
2011-06-04 13:46:07

Similar books