LEADER 01346nam a2200337 i 4500
001 991000784869707536
005 20020507173544.0
008 931106s1988    ne            ||| | eng  
020   $a0444702660 (v.1)
020   $a0444703586 (v.2)
035   $ab10756929-39ule_inst
035   $aLE01302283$9ExL
040   $aDip.to Matematica$beng
082 0 $a511.3
084   $aAMS 03F
084   $aQA9.56.T74
100 1 $aTroelstra, A. S.$057222
245 10$aConstructivism in mathematics :$ban introduction /$cA. S. Troelstra ; D. van Dalen
260   $aAmsterdam :$bNorth-Holland,$c1988
300   $a2 v. ;$c23 cm.
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$v121
490 0 $aStudies in logic and the foundations of mathematics, ISSN 0049237X ;$v123
650  4$aConstructive mathematics
700 1 $aDalen, Dirk van
907   $a.b10756929$b23-02-17$c28-06-02
912   $a991000784869707536
945   $aLE013 03F TRO12 V.II (1988)$cV. 2$g1$i2013000129433$lle013$o-$pE0.00$q-$rl$s-  $t0$u3$v0$w3$x0$y.i10851331$z28-06-02
945   $aLE013 03F TRO12 V.I (1988)$cV. 1$g1$i2013000129440$lle013$o-$pE0.00$q-$rl$s-  $t0$u4$v1$w4$x0$y.i10851343$z28-06-02
996   $aConstructivism in Mathematics$9335176
997   $aUNISALENTO
998   $ale013$b01-01-93$cm$da  $e-$feng$gne $h0$i2