[Studies in Logic and the Foundations of Mathematics] Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 Volume 60 || On the Original Gentzen Consistency Proof for Number Theory
Bernays, PaulYear:
1970
Language:
english
DOI:
10.1016/S0049-237X(08)70767-5
File:
PDF, 580 KB
english, 1970