LEADER 01236nam 2200361 450 001 000014955 005 20050718115600.0 100 $a20030711d1965----km-y0itay0103----ba 101 0 $ager 102 $aDE 200 1 $a<> Termlogik mit Auswahloperator$fHans Hermes 210 $aBerlin [etc.]$cSpringer$d1965 215 $a42 p.$d30 cm. 225 2 $aLecture notes in mathematics$v6 410 0$12001$aLecture notes in mathematics 606 1$aLogica matematica 676 $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica) 691 $a03-XX$9Mathematical logic and foundation 700 1$aHermes,$bHans$042101 801 0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc 912 $a000014955 996 $aTermlogik mit Auswahloperator$983203 997 $aUNIBAS BAS $aMONSCI BAS $aSCIENZE CAT $aEXT002$b01$c20030711$lBAS01$h1259 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$61812$5S1812$820030711$f51$FRiservati