
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Volume 1, Mathematical Logic
George Tourlakis(Author)
Cambridge University Press
Published on 9. September 2010
Book
Paperback/Softback
342 pages
978-0-521-16846-5 (ISBN)
Description
This 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.
Reviews / Votes
Review of the hardback: ' ... stands among the dozen or so books that will remain within easy reach from my desk ... a highly worthwhile addition to the literature.' The Review of Modern LogicMore details
Series
Language
English
Place of publication
Cambridge
United Kingdom
Target group
Professional and scholarly
College/higher education
Product notice
Paperback (trade)
Illustrations
Worked examples or Exercises
Dimensions
Height: 229 mm
Width: 152 mm
Thickness: 21 mm
Weight
556 gr
ISBN-13
978-0-521-16846-5 (9780521168465)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Other editions
Additional editions

George Tourlakis
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
E-Book
12/2004
1st Edition
Cambridge University Press
€45.99
Available for download

George Tourlakis
Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Volume 1, Mathematical Logic
Book
01/2003
Cambridge University Press
€149.70
Shipment within 15-20 days
Person
Content
Preface; 1. Basic logic; 2. The second incompleteness theorem; Bibliography; List of symbols; Index.