00558nam a2200181Ia 4500082001900000100002800019245007500047260003400122300002300156490003900179500000500218690000600223700000500229952010100234964001700335921000900352999001500361  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   a  00104070aISIbISId1998-09-07l0o511.3 T843.MIpDP14946r2019-02-14 00:00:00w2019-02-14yBK  abcdefg  a8847  c8847d8847