Get Free Shipping on orders over $79
Lectures in Logic and Set Theory : Volume 1, Mathematical Logic - No Information Available
eTextbook alternate format product

Instant online reading.
Don't wait for delivery!

Go digital and save!

Lectures in Logic and Set Theory

Volume 1, Mathematical Logic

By: No Information Available

Hardcover | 21 January 2003

At a Glance

Hardcover


RRP $219.95

$192.99

12%OFF

or 4 interest-free payments of $48.25 with

 or 

Ships in 5 to 7 business days

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.
Industry Reviews
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 Logic

Other Editions and Formats

Paperback

Published: 9th September 2010

Paperback

Published: 21st July 2011

More in Mathematical Logic

Current Trends in Automated Reasoning - Erika Bach
Handbook of Automated Reasoning - Rachel Phillips
Advances in Automated Reasoning - Rachel Phillips
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Mathematical Puzzles : Revised Edition - Peter  Winkler

RRP $56.99

$52.75

Essays in Analysis : Routledge Revivals - Alice Ambrose
Fuzzy Logic : An Introductory Text - Lukas Brooks