LEADER 01614nam0 2200325 i 450 
001 SUN0049964
005 20160323091929.502
010   $a08-218-5110-1$d0.00
017 70$2N$a978-0-8218-5110-4
100   $a20060823d1990       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Logic and computation$eproceedings of a workshop held at Carnegie Mellon university, June 30-July 2, 1987$fWilfried Sieg editor
210   $aProvidence$cAmerican mathematical society$d1990
215   $aXIV, 297 p.$d26 cm.
410  1$1001SUN0043184$12001 $aContemporary mathematics$v106$1210  $aProvidence$cAmerican Mathematical Society$d1980-.
606   $a68-XX$xComputer science [MSC 2020]$2MF$3SUNC019670
606   $a03D15$xComplexity of computation [MSC 2020]$2MF$3SUNC023630
606   $a03Bxx$xGeneral logic [MSC 2020]$2MF$3SUNC024425
620   $aUS$dProvidence$3SUNL000273
700  1$aSieg$b, Wilfried$3SUNV039305$056703
712   $aAmerican mathematical society$3SUNV001080$4650
801   $aIT$bSOL$c20210301$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Sieg - Logic and Computation.pdf$zContents
912   $aSUN0049964
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4058        $e08   7218      I       20080314            
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4058        $e08   6503      I a     20060823            $sDeteriorato
996   $aLogic and computation$91426488
997   $aUNICAMPANIA