LEADER 01745nam  2200421   450 
001 000011149
005 20050718115400.0
010   $aMathematical logic and fooundations. Proof theory, general
100   $a20020715d1978----km-y0itay0103----ba
101 0 $aeng
102   $aGB
200 1 $aProof in mathematics ('if', 'then' and 'perhaps')$ea collection of material illustrating the nature and variety of the idea of proof in mathematics$fP. R. Baxandall ... [et. al.]
210   $aKeele$cUniversity of Keele$dc1978-
215   $a2v.$cill.$d21 cm.
327   $aPart I. - 1978. - V, 52 p.$aPart II. - 1978. - P. 53-130
606   $aDidattica
606   $aLogica matematica
676   $a511.3$v(20. ed.)$9Logica matematica (Logica simbolica)
691   $a03F03
700  1$aBaxandall,$bP. R.$0440726
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000011149
996   $aProof in mathematics ('if', 'then' and 'perhaps'$978986
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aMONOGR
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20020715$lBAS01$h1519
CAT   $aEXT002$b01$c20020715$lBAS01$h1624
CAT   $aEXT002$b01$c20020717$lBAS01$h1616
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$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$666694$5S66694$820020715$b^$cI$eV, 52$f51$FRiservati$hPart I
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$666695$5S66695$820020715$b^$cII$e53-130$f51$FRiservati$hPart II