Consistency Proofs of Subsystems of Classical Analysis

• 1 September 1967
• journal article
• Published by JSTOR in Annals of Mathematics
• Vol. 86  (2) , 299
• https://doi.org/10.2307/1970691

Abstract

Keywords

• CLASSICAL ANALYSIS
• SUBSYSTEMS OF CLASSICAL
• CONSISTENCY PROOFS OF SUBSYSTEMS