LEADER 01861nam 2200409 450 001 000015584 005 20050718115600.0 010 $a3-540-12173-0 100 $a20030730d1985----km-y0itay0103----ba 101 0 $aeng 102 $aDE 200 1 $aFoundations of constructive mathematics$emetamathematical studies$fMichael J. Beeson 210 $aBerlin [etc.]$cSpringer$dc1985 215 $aXXIII, 466 p.$d25 cm. 225 2 $aErgebnisse der Mathematik und ihrer Grenzgebiete$h3. Folge$v6 410 0$12001$aErgebnisse der Mathematik und ihrer Grenzgebiete 606 $aLogica matematica 676 $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica) 691 $a03F50$9Mathematical logic and foundations. Proof theory and constructive mathematics. Metamathematics of constructive systems 691 $a03F55$9Mathematical logic and foundations. Proof theory and constructive mathematics. Intuitionistic mathematics 691 $a03F60$9Mathematical logic and foundations. Proof theory and constructive mathematics. Constructive and recursive analysis 691 $a03F65$9Mathematical logic and foundations. Proof theory and constructive mathematics. Other constructive mathematics 700 1$aBeeson,$bMichael J.$049310 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000015584 996 $aFoundations of constructive mathematics$982681 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT002$b01$c20030730$lBAS01$h1437 CAT $c20050601$lBAS01$h1755 CAT $abatch$b01$c20050718$lBAS01$h1052 CAT $c20050718$lBAS01$h1111 CAT $c20050718$lBAS01$h1141 CAT $c20050718$lBAS01$h1156 FMT Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$662752$5S62752$820030730$f51$FRiservati LEADER 01247nam a2200301 i 4500 001 991003394349707536 005 20020503191333.0 008 010419s|||| de ||| | fre 020 $a3484523077 035 $ab10499131-39ule_inst 035 $aEXGIL120079$9ExL 040 $aDip.to Filol. Ling. e Lett.$bita 041 0 $afreger 082 0 $a848.108 100 1 $aHonorius : Augustodunensis$0452614 245 10$aLucidaire de grant sapientie :$bUntersuchung und Edition der altfranzösischen Ubersetzung 1 des Elucidarium von Honorius Augustodunensis /$cMonika Turk 260 $aTubingen :$bNiemeyer,$c2000 300 $ax, 448 p. ;$c24 cm. 490 0 $aBeihefte zur Zeitschrift für romanische Philologie ;$v307 650 4$aOnorio : d'autun - Elucidarius$xTraduzioni francesi antiche 700 1 $aTurk, Monika$eauthor$4http://id.loc.gov/vocabulary/relators/aut$0733502 740 0 $aElucidarium 907 $a.b10499131$b21-02-17$c27-06-02 912 $a991003394349707536 945 $aLE008 FL.M. (f.r.) XIV 440$g1$i2008000030308$lle008$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i12141999$z07-01-03 996 $aLucidaire de grant sapientie$91446117 997 $aUNISALENTO 998 $ale008$b01-01-01$cm$da $e-$ffre$gde $h0$i1