LEADER 03104nam  22007092  450 
001 9910817263903321
005 20160527093954.0
010   $a1-107-12856-0
010   $a1-280-41776-5
010   $a9786610417766
010   $a1-139-14853-2
010   $a0-511-18060-8
010   $a0-511-06658-9
010   $a0-511-06027-0
010   $a0-511-30759-4
010   $a0-511-61555-8
010   $a0-511-06871-9
035   $a(CKB)1000000000017964
035   $a(EBL)218145
035   $a(OCoLC)191035758
035   $a(SSID)ssj0000190853
035   $a(PQKBManifestationID)11156715
035   $a(PQKBTitleCode)TC0000190853
035   $a(PQKBWorkID)10180265
035   $a(PQKB)10452804
035   $a(UkCbUP)CR9780511615559
035   $a(MiAaPQ)EBC218145
035   $a(Au-PeEL)EBL218145
035   $a(CaPaEBR)ebr10069973
035   $a(CaONFJC)MIL41776
035   $a(PPN)261310917
035   $a(EXLCZ)991000000000017964
100   $a20090914d2003||||  uy|            0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 10$aLectures in logic and set theory$hVolume 1$iMathematical logic /$fGeorge Tourlakis$b[electronic resource]
210  1$aCambridge :$cCambridge University Press,$d2003.
215   $a1 online resource (xi, 328 pages) $cdigital, PDF file(s)
225 1 $aCambridge studies in advanced mathematics ;$v82
300   $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
311   $a0-521-16846-5 
311   $a0-521-75373-2 
320   $aIncludes bibliographical references and indexes.
327   $aCover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; Index
330   $aThis two-volume work bridges the gap between introductory expositions of logic or set theory on one hand, and the research literature on the other. It can be used as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy. The volumes are written in a user-friendly conversational lecture style that makes them equally effective for self-study or class use. Volume 1 includes formal proof techniques, a section on applications of compactness (including nonstandard analysis), a generous dose of computability and its relation to the incompleteness phenomenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen theorem.
410  0$aCambridge studies in advanced mathematics ;$v82.
517 3 $aLectures in Logic & Set Theory
606   $aLogic, Symbolic and mathematical
606   $aSet theory
615  0$aLogic, Symbolic and mathematical.
615  0$aSet theory.
676   $a511.3
700   $aTourlakis$b George J.$0149747
801  0$bUkCbUP
801  1$bUkCbUP
906   $aBOOK
912   $a9910817263903321
996   $aLectures in logic and set theory$9473229
997   $aUNINA