LEADER 01783nam  2200433   450 
001 000013514
005 20050718115500.0
010   $a3-540-06491-5
100   $a20030520d1973----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aMetamathematical investigation of intuitionistic arithmetic and analysis$fA. S. Troelstra, editor
210   $aBerlin [etc.]$cSpringer$d1973
215   $aXVII, 485 p.$d24 cm.
225 2 $aLecture notes in mathematics$v344
410  0$12001$aLecture notes in mathematics
606   $aTeoria dei modelli
606   $aTeoria della dimostrazione
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03B20$9Mathematical logic and foundations. General logic. Subsystems of classical logic (including intuitionistic logic)
691   $a03Cxx$9Mathematical logic and foundations. Model theory
691   $a03F03$9Mathematical logic and foundations. Proof theory and constructive mathematics. Proof theory, general
702  1$aTroelstra,$bA. S.
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000013514
996   $aMetamathematical investigation of intuitionistic arithmetic and analysis$981460
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030520$lBAS01$h1141
CAT   $aEXT003$b01$c20030520$lBAS01$h1143
CAT   $aEXT003$b01$c20030925$lBAS01$h1820
CAT   $c20050601$lBAS01$h1755
CAT   $abatch$b01$c20050718$lBAS01$h1051
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$631548$5S31548$820030925$f51$FRiservati