LEADER 02087nam  2200445   450 
001 000013970
005 20050718115500.0
010   $a3-540-52734-6
100   $a20030611d1990----km-y0itay0103----ba
101 0 $aeng
102   $aDE
200 1 $aLogic and computer science$electures given at the 1. session of the Centro internazionale matematico estivo (C.I.M.E.) held at Montecatini Terme, Italy, June 20-28, 1988$fS. Homer ... [et al.]$geditor P. Odifreddi
210   $aBerlin [etc.]$cSpringer$dc1990
215   $a162 p.$d25 cm.
225 2 $aLecture notes in mathematics$v1429
410  0$12001$aLecture notes in mathematics
606   $aLogica matematica$xApplicazioni alla programmazione degli elaboratori elettronici$xCongressi
676   $a005.131$v(21. ed.)$9Linguaggidi programmazione. Logica matematica (Logica simbolica)
691   $a03B40$9Mathematical logic and foundations. General logic. Combinatory logic and lambda-calculus
691   $a03B20$9Mathematical logic and foundations. General logic. Subsystems of classical logic (including intuitionistic logic)
691   $a03B70$9Mathematical logic and foundations. General logic. Logic in computer science
691   $a03D15$9Mathematical logic and foundations. Complexity of computation
702  1$aHomer,$bS.
702  1$aOdifreddi,$bPiergiorgio
710 02$aCentro internazionale matematico estivo$f<1988$e; Montecatini Terme>$0441378
801  0$aIT$bUniversità della Basilicata - B.I.A.$gRICA$2unimarc
912   $a000013970
996   $aLogic and computer science$980112
997   $aUNIBAS
BAS   $aMONSCI
BAS   $aSCIENZE
CAT   $aEXT003$b01$c20030611$lBAS01$h1219
CAT   $aEXT003$b01$c20030611$lBAS01$h1220
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$669085$5S69085$820030611$f51$FRiservati