John Denton (denton-j)
Contributions to Philosophie.ch
No contributions yet
Bibliography
Dreben, Burton and Denton, John. 1970. “Herbrand-Style Consistency Proofs.” in Intuitionism and Proof Theory. Proceedings of the Summer Conference at Buffalo N.Y. 1968, edited by Akiko Kino, John Myhill, and Richard E. Vesley, pp. 419–433. Studies in Logic and the Foundations of Mathematics n. 60. Amsterdam: North-Holland Publishing Co.