LEADER 01300nam  2200385   450 
001 000011191
005 20050718115400.0
010   $a88-15-01256-7
100   $a20020717d1987----km-y0itay0103----ba
101 0 $aita
102   $aIT
200 1 $a<<La>> Macchina e le dimostrazioni$ematematica, logica e informatica$fGabriele Lolli
210   $aBologna$c<<Il>> Mulino$dc1987
215   $a151 p.$d21 cm.
225 1 $aSaggi$v311
606   $aLogica matematica
606   $aLogica matematica e informatica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
691   $a03-XX$9Mathematical logic and foundations
700  1$aLolli,$bGabriele$048877
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011191
996   $aMacchina e le dimostrazioni$979088
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20020717$lBAS01$h1715
CAT   $c20050601$lBAS01$h1754
CAT   $abatch$b01$c20050718$lBAS01$h1051
CAT   $c20050718$lBAS01$h1110
CAT   $c20050718$lBAS01$h1140
CAT   $c20050718$lBAS01$h1154
FMT   
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA5$ADipartimento Matematica$2GEN$BCollezione generale$3MAT$62844$5M2844$820020717$f51$FRiservati