Volume II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques provides a solid foundation in set theory and a thorough context for the presentation of advanced topics (such as absoluteness, relative consistency results, two expositions of Godel's construstive universe, numerous ways of viewing recursion and Cohen forcing).

*"synopsis" may belong to another edition of this title.*

Meant as a text in an advanced undergraduate or beginning graduate course in mathematics, computer science, or philosophy, this two-volume work is written in a user-friendly conversational lecture style that makes it 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.

"many readers, especially those with a philosophical bent, will find this book a good choice for the classroom." - Richard E. Hodel, Duke University

*"About this title" may belong to another edition of this title.*

Published by
Cambridge University Press
(2003)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Quantity Available: > 20

Seller:

Rating

**Book Description **Cambridge University Press, 2003. HRD. Book Condition: New. New Book.Shipped from US within 10 to 14 business days.THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Bookseller Inventory # IP-9780521753746

More Information About This Seller | Ask Bookseller a Question

Published by
Cambridge University Press
(2016)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Paperback
Quantity Available: 1

Seller:

Rating

**Book Description **Cambridge University Press, 2016. Paperback. Book Condition: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Bookseller Inventory # ria9780521753746_lsuk

More Information About This Seller | Ask Bookseller a Question

Published by
Cambridge Univ Pr
(2003)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: 1

Seller:

Rating

**Book Description **Cambridge Univ Pr, 2003. Hardcover. Book Condition: Brand New. 1st edition. 592 pages. 9.25x6.50x1.25 inches. In Stock. Bookseller Inventory # __0521753740

More Information About This Seller | Ask Bookseller a Question

Published by
Cambridge University Press
(2003)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Quantity Available: > 20

Seller:

Rating

**Book Description **Cambridge University Press, 2003. HRD. Book Condition: New. New Book. Delivered from our US warehouse in 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND.Established seller since 2000. Bookseller Inventory # IP-9780521753746

More Information About This Seller | Ask Bookseller a Question

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: 1

Seller:

Rating

**Book Description **2003. Hardback. Book Condition: NEW. 9780521753746 This listing is a new book, a title currently in-print which we order directly and immediately from the publisher. Bookseller Inventory # HTANDREE0473816

More Information About This Seller | Ask Bookseller a Question

Published by
Cambridge University Press
(2003)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: 10

Seller:

Rating

**Book Description **Cambridge University Press, 2003. Hardcover. Book Condition: New. Bookseller Inventory # INGM9780521753746

More Information About This Seller | Ask Bookseller a Question

Published by
Cambridge University Press
(2017)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: > 20

Seller:

Rating

**Book Description **Cambridge University Press, 2017. Hardcover. Book Condition: New. Never used! This item is printed on demand. Bookseller Inventory # 0521753740

More Information About This Seller | Ask Bookseller a Question

Published by
Cambridge University Press
(2017)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: 2

Seller:

Rating

**Book Description **Cambridge University Press, 2017. Hardcover. Book Condition: New. This item is printed on demand. Bookseller Inventory # P110521753740

More Information About This Seller | Ask Bookseller a Question

Published by
CAMBRIDGE UNIVERSITY PRESS, United Kingdom
(2014)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: 10

Seller:

Rating

**Book Description **CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2014. Hardback. Book Condition: New. New. Language: English . Brand New Book ***** Print on Demand *****. 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 II, on formal (ZFC) set theory, incorporates a self-contained chapter 0 on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel s constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing. Bookseller Inventory # APC9780521753746

More Information About This Seller | Ask Bookseller a Question

Published by
CAMBRIDGE UNIVERSITY PRESS, United Kingdom
(2014)

ISBN 10: 0521753740
ISBN 13: 9780521753746

New
Hardcover
Quantity Available: 10

Seller:

Rating

**Book Description **CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2014. Hardback. Book Condition: New. New. Language: English . Brand New Book ***** Print on Demand *****.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 II, on formal (ZFC) set theory, incorporates a self-contained chapter 0 on proof techniques so that it is based on formal logic, in the style of Bourbaki. The emphasis on basic techniques will provide the reader with a solid foundation in set theory and provides a context for the presentation of advanced topics such as absoluteness, relative consistency results, two expositions of Godel s constructible universe, numerous ways of viewing recursion, and a chapter on Cohen forcing. Bookseller Inventory # APC9780521753746

More Information About This Seller | Ask Bookseller a Question