Lectures in Logic and Set Theory: Volume 1, Mathematical Logic
(Book #82 in the Cambridge Studies in Advanced Mathematics Series)
No Customer Reviews
Select Format
Select Condition 
Book Overview
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.
Format:Hardcover
Language:English
ISBN:0521753732
ISBN13:9780521753739
Release Date:January 2003
Publisher:Cambridge University Press
Length:342 Pages
Weight:1.25 lbs.
Dimensions:0.9" x 6.2" x 9.2"
Customer Reviews
0 rating
Copyright © 2025 Thriftbooks.com
Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
