Matamathematical Investigation of Intuitionistic Arithmetic and Analysis - Troelstra A. S. Ed. (Berlin Springer-verlag, 1973)