[Studies in Logic and the Foundations of Mathematics] Intuitionism and Proof Theory: Proceedings of the Summer Conference at Buffalo N.Y. 1968 Volume 60 || A Theory of Constructions Equivalent to Arithmetic
Goodman, Nicolas D.Year:
1970
Language:
english
DOI:
10.1016/s0049-237x(08)70745-6
File:
PDF, 914 KB
english, 1970