00587nam a2200181Ia 4500082001900000100002100019245012500040260003400165300001000199490003800209500000500247690000600252700000500258952010100263964001700364921000900381999001500390  a511.3bT843.PI  aTroelstra, A. S.  aPrinciples of intuitionism; lectures presented at the summer conference on Intutionism and proof theory (1968) at SUNYb  aBerlinbSpringer-Verlagc1969  a111p.  aLecture notes in Mathematicsv 95  a  a   a  00104070aISIbISId1998-09-07l0o511.3 T843.PIpDP15004r2019-02-14 00:00:00w2019-02-14yBK  abcdefg  a8849  c8849d8849