Principles of Intuitionism - Troelstra A S (Berlin Springer-Verlag, 1969)
Lectures Presented at the Summer Conference on Intuitionsm and Proof theory 1968 at Suny at Buffalo,N.Y.
Keywords: Arithmetics; Intuitive mathematics