LEADER 03408nam  22006972  450 
001 9910450655603321
005 20160526112740.0
010   $a1-107-12857-9
010   $a1-280-41777-3
010   $a9786610417773
010   $a1-139-14854-0
010   $a0-511-18061-6
010   $a0-511-06659-7
010   $a0-511-06028-9
010   $a0-511-30271-1
010   $a0-511-61556-6
010   $a0-511-06872-7
035   $a(CKB)1000000000017965
035   $a(EBL)218144
035   $a(OCoLC)808036212
035   $a(SSID)ssj0000190854
035   $a(PQKBManifestationID)11172047
035   $a(PQKBTitleCode)TC0000190854
035   $a(PQKBWorkID)10183664
035   $a(PQKB)10432466
035   $a(UkCbUP)CR9780511615566
035   $a(MiAaPQ)EBC218144
035   $a(Au-PeEL)EBL218144
035   $a(CaPaEBR)ebr10070006
035   $a(CaONFJC)MIL41777
035   $a(EXLCZ)991000000000017965
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 2$iSet theory /$fGeorge Tourlakis$b[electronic resource]
210  1$aCambridge :$cCambridge University Press,$d2003.
215   $a1 online resource (xv, 575 pages) $cdigital, PDF file(s)
225 1 $aCambridge studies in advanced mathematics ;$v83
300   $aTitle from publisher's bibliographic system (viewed on 05 Oct 2015).
311   $a0-521-16848-1 
311   $a0-521-75374-0 
320   $aIncludes bibliographical references and indexes.
327   $aCover; Half-title; Series-title; Title; Copyright; Dedication; Contents; Preface; I A Bit of Logic: A User's Toolbox; II The Set-Theoretic Universe, Nai?vely; III The Axioms of Set Theory; IV The Axiom of Choice; V The Natural Numbers;  Transitive Closure; VI Order; VII Cardinality; VIII Forcing; 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 II, on formal (ZFC) set theory, incorporates a self-contained 'chapter 0' on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel's constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing.
410  0$aCambridge studies in advanced mathematics ;$v83.
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   $a9910450655603321
996   $aLectures in logic and set theory$9473229
997   $aUNINA