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 Context Related Articles Check |
This paper is cited by the following papers:
Constructive Analysis with Witnesses - Helmut Schwichtenberg.. (Correct)
Constructive Analysis with Witnesses - Schwichtenberg (Correct)
The Impact of the Lambda Calculus in Logic and Computer Science - Barendregt (1997) (8 citations) (Correct)
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