00350nam a2200121Ia 4500082001900000100002800019245007500047260003400122300002300156490003900179500000500218700000500223  a511.3bT843.MI  aTroelstra, A. S. d ed.  aMathematical investigation of intuitionistic arithmetic and analysisb  aBerlinbSpringer-Verlagc1973  axvii, 485p., Index  aLecture notes in Mathematicsv 344  a  a