Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

George Tourlakis (York University, Toronto)

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Format
Hardback
Publisher
Cambridge University Press
Country
United Kingdom
Published
9 January 2003
Pages
342
ISBN
9780521753739

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic

George Tourlakis (York University, Toronto)

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 I 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.

This item is not currently in-stock. It can be ordered online and is expected to ship in approx 2 weeks

Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.

Sign in or become a Readings Member to add this title to a wishlist.