03104nam 22007092 450 991081726390332120160527093954.01-107-12856-01-280-41776-597866104177661-139-14853-20-511-18060-80-511-06658-90-511-06027-00-511-30759-40-511-61555-80-511-06871-9(CKB)1000000000017964(EBL)218145(OCoLC)191035758(SSID)ssj0000190853(PQKBManifestationID)11156715(PQKBTitleCode)TC0000190853(PQKBWorkID)10180265(PQKB)10452804(UkCbUP)CR9780511615559(MiAaPQ)EBC218145(Au-PeEL)EBL218145(CaPaEBR)ebr10069973(CaONFJC)MIL41776(PPN)261310917(EXLCZ)99100000000001796420090914d2003|||| uy| 0engur|||||||||||txtrdacontentcrdamediacrrdacarrierLectures in logic and set theoryVolume 1Mathematical logic /George Tourlakis[electronic resource]Cambridge :Cambridge University Press,2003.1 online resource (xi, 328 pages) digital, PDF file(s)Cambridge studies in advanced mathematics ;82Title from publisher's bibliographic system (viewed on 05 Oct 2015).0-521-16846-5 0-521-75373-2 Includes bibliographical references and indexes.Cover; Half-title; Series-title; Title; Copyright; Contents; Preface; I Basic Logic; II The Second Incompleteness Theorem; Bibliography; List of Symbols; IndexThis 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.Cambridge studies in advanced mathematics ;82.Lectures in Logic & Set TheoryLogic, Symbolic and mathematicalSet theoryLogic, Symbolic and mathematical.Set theory.511.3Tourlakis George J.149747UkCbUPUkCbUPBOOK9910817263903321Lectures in logic and set theory473229UNINA