Consistency proofs of subsystems of classical analysis

Pages 299-348 from Volume 86 (1967), Issue 2 by Gaisi Takeuti

No abstract available for this article

DOI
https://doi.org/10.2307/1970691
MR
0219410
zbMATH
0159.00905

Authors

Gaisi Takeuti