Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition by George Tourlakis (PDF)

Description

This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel’s 2nd incompleteness since Hilbert and Bernay’s Grundlagen.

User’s Reviews

Editorial Reviews: Review “A thorough and complete resource for “one of the most remarkable theorems of logic.” George Tourlakis’ Mathematical Logic is a highly worthwhile addition the the literature.” Robert Mignone, The Review of Modern Logic Book Description Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it equally effective for self-study or class use.Volume II, on formal (ZFC) set theory, incorporates a self-contained “chapter 0” on proof techniques based on formal logic, in the style of Bourbaki. This provides the reader with a solid foundation in set theory, while the inclusion of 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, will usher the advanced reader to the doorstep of the research literature.

Keywords

Free Download Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition in PDF format
Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition PDF Free Download
Download Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition 2006 PDF Free
Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition 2006 PDF Free Download
Download Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition PDF
Free Download Ebook Lectures in Logic and Set Theory: Volume I: Mathematical Logic (Cambridge Studies in Advanced Mathematics) 1st Edition