A. Kino, J. Myhill, and R.E. Vesley (eds.), Intuitioninism and proof theory, Studies in logic and the foundations of mathematics, North{Holland, Amsterdam, 1970. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Constructive Analysis with Witnesses - Helmut Schwichtenberg.. (Correct)
No context found.
A. Kino, J. Myhill, and R.E. Vesley (eds.), Intuitioninism and proof theory, Studies in logic and the foundations of mathematics, North{Holland, Amsterdam, 1970.
Constructive Analysis with Witnesses - Schwichtenberg (Correct)
No context found.
A. Kino, J. Myhill, and R.E. Vesley (eds.), Intuitioninism and proof theory, Studies in logic and the foundations of mathematics, North{Holland, Amsterdam, 1970.
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (8 citations) (Correct)
No context found.
J. Myhill, R. E. Vesley, and A. Kino (editors), Intuitionism and proof theory, Studies in Logic and the Foundations of Mathematics, North-Holland, Amsterdam, 1970.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC