LEADER 01181nam0 2200277 i 450 
001 VAN0064290
005 20221207121850.888
010   $a978-05-217-0877-7
100   $a20080507d2007       |0itac50      ba
101   $aeng
102   $aGB
105   $a||||    |||||
200 1 $aˆThe ‰mathematics of logic$ea guide to completeness theorems and their applications$fRichard Kaye
210   $aCambridge$cCambridge university$d2007
215   $aXI, 204 p.$d23 cm
606   $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF
620   $dCambridge$3VANL000024
700  1$aKaye$bRichard$3VANV044190$059866
712   $aCambridge university$3VANV107986$4650
801   $aIT$bSOL$c20221209$gRICA
856 4 $u/sebina/repository/catalogazione/documenti/Kaye - The mathematics of logic.pdf$zKaye - The mathematics of logic.pdf
899   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08
912   $aVAN0064290
950   $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST     03-XX                   2158        $e08   8082      III     20080507            
996   $aMathematics of logic$91416320
997   $aUNISOB