LEADER 01818nam0 2200397 i 450 
001 SUN0053087
005 20171005101246.924
010   $a05-213-8923-2$d0.00
010   $a978-05-213-8923-5
100   $a20060922d1989       |0engc50      ba
101   $aeng
102   $aUS
105   $a||||    |||||
200 1 $a*Computability and logic$fGeorge S. Boolos, Richard C. Jeffrey
205   $a3rd ed
210   $aNew York$cCambridge university$d1989
215   $aX, 304 p.$d23 cm.
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$2MF$3SUNC019750
606   $a03Dxx$xComputability and recursion theory [MSC 2020]$2MF$3SUNC024386
606   $a03B25$xDecidability of theories and sets of sentences [MSC 2020]$2MF$3SUNC024400
606   $a03F30$xFirst-order arithmetic and fragments [MSC 2020]$2MF$3SUNC024401
606   $a03H15$xNonstandard models of arithmetic [MSC 2020]$2MF$3SUNC024402
606   $a03F40$xGödel numberings and issues of incompleteness [MSC 2020]$2MF$3SUNC024403
606   $a03B45$xModal logic (including the logic of norms) [MSC 2020]$2MF$3SUNC024404
606   $a03B10$xClassical first-order logic [MSC 2020]$2MF$3SUNC024530
620   $dCambridge$3SUNL000024
700  1$aBoolos$b, George$3SUNV041877$045067
701  1$aJeffrey$b, Richard C.$3SUNV041882$045068
712   $aCambridge university$3SUNV000097$4650
790  1$aJeffrey, Richard Carl$zJeffrey, Richard C.$3SUNV058913
790  1$aJeffrey, R. C.$zJeffrey, Richard C.$3SUNV058914
801   $aIT$bSOL$c20200727$gRICA
912   $aSUN0053087
950   $aUFFICIO DI BIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   0498        $e08   4518      II      20060922            
996   $aComputability and logic$9334554
997   $aUNICAMPANIA