Get Free Shipping on orders over $89
Lectures in Logic and Set Theory : Volume 1, Mathematical Logic - No Information Available

Lectures in Logic and Set Theory

Volume 1, Mathematical Logic

By: No Information Available

Paperback | 9 September 2010

At a Glance

Paperback


RRP $99.95

$89.75

10%OFF

or 4 interest-free payments of $22.44 with

 or 

Ships in 5 to 7 business days

This two-volume 2003 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.
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

Hardcover

Published: 21st January 2003

Hardcover

Published: 16th June 2003

More in Mathematical Logic

Handbook of Automated Reasoning - Rachel Phillips
Current Trends in Automated Reasoning - Erika Bach
The Language of Mathematics : The Stories behind the Symbols - Raul Rojas
Unequal : The Maths of When Things Do and Don't Add Up - Eugenia Cheng
Introduction to Modern Cryptography : Revised Third Edition - Jonathan Katz
Logic For Dummies : For Dummies - Mark Zegarelli

RRP $41.95

$29.99

29%
OFF