LEADER 01692nam  2200457   450 
001 000014688
005 20050718115500.0
010   $a3-540-07534-8
100   $a20030702d1975----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aISILC logic conference$eproceedings of the International summer institute and logic colloquium, Kiel 1974$fedited G. H. Muller, A. Oberschelp, K. Potthoff
210   $aBerlin [etc.]$cSpringer$d1975
215   $aIV, 651 p.$d25 cm.
225 2 $aLecture notes in mathematics$v499
410  0$12001$aLecture notes in mathematics
606   $aLogica simbolica$xCongressi
606   $aLogica matematica$xCongressi
606   $aInsiemi$xTeoria$xCongressi
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03-XX$9Mathematical logic and foundation
691   $a04-XX$9Set theory
691   $a68-XX$9Computer science
702  1$aMuller,$bGert H
702  1$aOberschelp,$bA.
702  1$aPotthoff,$bK.
710 12$aInternational summer institute and logic colloquium$f<1974$e; Kiel>$0297938
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000014688
996   $aISILC logic conference$980639
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030702$lBAS01$h1202
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$631702$5S31702$820030702$f51$FRiservati