LEADER 02319nam  2200517   450 
001 000014284
005 20050718115500.0
010   $a3-540-13900-1$b(vol. 1.)
010   $a3-540-13901-X$b(vol. 2.)
100   $a20030618d1984----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983
210   $aBerlin [etc.]$cSpringer$d1984
215   $a2 v.$d25 cm.
225 2 $aLecture notes in mathematics$v1103, 1104
327 1 $aPart 1.: Models and sets / edited by G. H. Muller and M. M. Richter. - VIII, 484 p.$aPart 2.: Computation and proof theory / edited by M. M. Richter ... [et al.]. - VIII, 475 p.
410  0$12001$aLecture notes in mathematics
559 1 $aModels and sets
559 1 $aComputation and proof theory
606   $aTeoria della dimostrazione$xCongressi
676   $a511.3$v(21. ed.)$9Logica matematica (Logica simbolica)
691   $a03Dxx$9Mathematical logic and foundations. Computability and recursion theory
691   $a03Fxx$9Mathematical logic and foundations. Proof theory and constructive mathematics
691   $a68-XX$9Computer science
702  1$aRichter,$bMichael M.
702  1$aMuller,$bGert H.
712 12$aLogic colloquium$f<1983$e; Aechen>
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000014284
996   $aProceedings of the Logic colloquium held in Aachen, July 18-23, 1983$979806
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT002$b01$c20030618$lBAS01$h1247
CAT   $aEXT002$b01$c20030714$lBAS01$h1842
CAT   $aEXT002$b01$c20030714$lBAS01$h1843
CAT   $aEXT002$b01$c20030714$lBAS01$h1845
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$658596$5S58596$820030714$b1$eVIII, 484$f51$FRiservati$hVol. 1.: Models and sets
Z30 -1$lBAS01$LBAS01$mBOOK$1BASA2$APolo Tecnico-Scientifico$2GEN$BCollezione generale$3MAT$658597$5S58597$820030618$b2$eVIII, 475$f51$FRiservati$hVol. 2.: Computation and proof theory