๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Iterated Inductive Definitions and Subsystems of Analysis

โœ Scribed by W. Buchholz, S. Feferman, W. Pohlers, W. Sieg


Book ID
127453503
Publisher
Springer
Year
1981
Tongue
English
Weight
2 MB
Series
Lecture Notes in Mathematics
Edition
1
Category
Library
ISBN
3540111700

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES