LEADER 01727nam  2200397   450 
001 000014406
005 20050718115500.0
010   $a3-540-10850-5
100   $a20030623d1981----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aConstructive mathematics$eproceedings of the New Mexico State University Conference held al Las Cruces, New Mexico, August 11-15, 1980$fedited by F. Richman
210   $aBerlin [etc.]$cSpringer$d1981
215   $aVI, 347 p.$d25 cm.
225 2 $aLecture notes in mathematics$v873
410  0$12001$aLecture notes in mathematics
606   $aLogica matematica$xCongressi
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   $a03F65$9Mathematical logic and foundations. Proof theory and constructive mathematics. Other constructive mathematics
702  1$aRichman,$bFred
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000014406
996   $aConstructive mathematics$979973
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030623$lBAS01$h1105
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1052
CAT   $c20050718$lBAS01$h1111
CAT   $c20050718$lBAS01$h1141
CAT   $c20050718$lBAS01$h1155
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$632076$5S32076$820030623$f51$FRiservati

LEADER 01238nam a2200277 i 4500
001 991001671939707536
008 030612t20022002it aba        001 0 eng d
035   $ab12180671-39ule_inst
040   $aDip.to Beni Culturali $bita
100 1 $aMcCann, Anna Marguerite$0242103
245 14$aThe Roman Port and Fishery of Cosa :$ba short guide = Il porto romano e la peschiera di Cosa :$bguida breve /$cMarguerite Anna McCann
246 31$aPorto romano e la peschiera di Cosa :$bguida breve
260   $a[Rome] :$bAmerican Academy in Rome,$c[2002]
300   $a78 p. :$bill. ;$c25 cm.
504   $aContiene bibliografia: p. 78
546   $aTesto in inglese e italiano
650  4$aScavi archeologici$zitalia$zCosa (Città estinta)
650  4$aArcheologia subacquea$zItalia$zCosa (città estinta)
651  4$aCosa (Città estinta)$xAntichità
651  4$aNavigazione$zItalia$zCosa (Città estinta)
907   $a.b12180671$b02-04-14$c12-06-03
912   $a991001671939707536
945   $aLE001 AR XVII 100$g1$i2001000031214$lle001$nCambio$oe$pE25.00$q-$rl$s-  $t0$u0$v0$w0$x0$y.i1253268x$z12-06-03
996   $aRoman Port and Fishery of Cosa$9146099
997   $aUNISALENTO
998   $ale001$b  -  -  $cm$da  $e-$feng$git $h4$i0