Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
1st Edition
Published on 2. December 2004
978-0-511-06027-4 (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
Publishing group
Cambridge University Press
Target group
Professional and scholarly
College/higher education
Illustrations
Worked examples or Exercises
File size
1,70 MB
ISBN-13
978-0-511-06027-4 (9780511060274)
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
Volume 1, Mathematical Logic
Book
09/2010
Cambridge University Press
€69.30
Shipment within 15-20 days
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.
