LEADER 01570nam0 2200325 i 450 
001 VAN0049964
005 20231127020752.626
010   $a08-218-5110-1
017 70$2N$a9780821851104
100   $a20060823d1990       |0itac50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $aLogic 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$1001VAN0043184$12001 $aContemporary mathematics$1210  $aProvidence$cAmerican Mathematical Society$v106
606   $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF
606   $a03D15$xComplexity of computation [MSC 2020]$3VANC023630$2MF
606   $a03Bxx$xGeneral logic [MSC 2020]$3VANC024425$2MF
620   $aUS$dProvidence$3VANL000273
700  1$aSieg$bWilfried$3VANV039305$056703
712   $aAmerican mathematical society$3VANV108732$4650
801   $aIT$bSOL$c20231201$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Sieg - Logic and Computation.pdf$zContents
912   $aVAN0049964
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4058        $e08   6503      I a     20060823            $sDeteriorato
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   4058        $e08   7218      I       20080314            
996   $aLogic and computation$91426488
997   $aUNICAMPANIA