LEADER 01327nam a22003255i 4500
001 991002236799707536
007 cr nn 008mamaa
008 121227s1990    de |    s    |||| 0|eng d
020   $a9783540471356
035   $ab14142508-39ule_inst
040   $aBibl. Dip.le Aggr. Matematica e Fisica - Sez. Matematica$beng
082 04$a511.3$223
084   $aAMS 03B20
084   $aAMS 03B40
100 1 $aHomer, Steven$0291864
245 10$aLogic and computer science$h[e-book] :$blectures given at the 1st session of the Centro Internazionale Matematico Estivo (C.I.M.E.) held at Montecatini Terme, Italy, june 20-28, 1988 /$cby Steven Homer ... [et al.] ; edited by Piergiorgio Odifreddi
260   $aBerlin :$bSpringer,$c1990
300   $a1 online resource (v, 162 p.)
440  0$aLecture Notes in Mathematics,$x0075-8434 ;$v1429
650  0$aMathematics
650  0$aComputer science
650  0$aLogic, Symbolic and mathematical
700 1 $aOdifreddi, Piergiorgio
773 0 $aSpringer eBooks
856 40$uhttp://dx.doi.org/10.1007/BFb0093921$zAn electronic book accessible through the World Wide Web
907   $a.b14142508$b03-03-22$c05-09-13
912   $a991002236799707536
996   $aLogic and computer science$9262340
997   $aUNISALENTO
998   $ale013$b05-09-13$cm$d@  $e-$feng$gde $h0$i0