LEADER 01026nam a2200253 i 4500 001 991001241479707536 005 20020507185844.0 008 950104s1969 de ||| | eng 035 $ab1082036x-39ule_inst 035 $aLE01309229$9ExL 040 $aDip.to Matematica$beng 084 $aAMS 03F55 100 1 $aTroelstra, A. S.$057222 245 10$aPrinciples of intuitionism :$blectures presented at the summer conference on Intuitionism and Prof theory (1968) at SUNY at Buffalo, N. Y. /$cA. S. Troelstra 260 $aBerlin :$bSpringer-Verlag,$c1969 300 $a111 p. ;$c29 cm 490 0 $aLecture notes in mathematics,$x0075-8434 ;$v95 650 0$aIntuitionistic mathematics$xCongresses 907 $a.b1082036x$b23-02-17$c28-06-02 912 $a991001241479707536 945 $aLE013 03F TRO11 (1969)$g1$i2013000018294$lle013$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10927372$z28-06-02 996 $aPrinciples of intuitionism$981302 997 $aUNISALENTO 998 $ale013$b01-01-95$cm$da $e-$feng$gde $h0$i1