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