S. Feferman
Iterated Inductive Definitions and Subsystems of Analysis
S. Feferman, W. Buchholz, W. Pohlers, W. Sieg · 1981
פרטי הספר
- שנה
- 1981
- שפה
- English
- הוצאה
- Springer Berlin / Heidelberg
- מהדורות
- 2
- עמודים
- 384
- ISBN
- 9783540111702
מקור הנתונים: Wikidata