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