00379nam a2200121Ia 4500082001900000100002100019245012500040260003400165300001000199490003800209500000500247700000500252  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