Limit this search to....

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
Contributor(s): Tourlakis, George (Author), George, Tourlakis (Author), Bollobas, Bela (Editor)
ISBN: 0521753732     ISBN-13: 9780521753739
Publisher: Cambridge University Press
OUR PRICE:   $132.05  
Product Type: Hardcover - Other Formats
Published: January 2003
Qty:
Additional Information
BISAC Categories:
- Mathematics | Logic
- Mathematics | Set Theory
- Medical
Dewey: 511.322
LCCN: 2002073308
Series: Cambridge Studies in Advanced Mathematics (Hardcover)
Physical Information: 0.9" H x 6.2" W x 9.2" (1.25 lbs) 342 pages
 
Descriptions, Reviews, Etc.
Publisher Description:
This two-volume work bridges the gap between introductory expositions of logic (or set theory) and the research literature. 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 lecture style that makes them equally effective for self-study or class use. Volume I includes formal proof techniques, applications of compactness (including nonstandard analysis), computability and its relation to the completeness phenonmenon, and the first presentation of a complete proof of Godel's 2nd incompleteness since Hilbert and Bernay's Grundlagen.