Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: Mathematical Logic v. 1 (Cambridge Studies in Advanced Mathematics) Book + PRICE WATCH * Amazon pricing is not included in price watch

Lectures in Logic and Set Theory: Volume 1, Mathematical Logic: Mathematical Logic v. 1 (Cambridge Studies in Advanced Mathematics) Book

This 2003 two-volume set bridges the gap between introductory texts and the research literature.Read More

from£N/A | RRP: £50.00
* Excludes Voucher Code Discount Also available Used from £N/A
  • Book Description

    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 II, on formal (ZFC) set theory, incorporates a self-contained "chapter 0" on proof techniques based on formal logic, in the style of Bourbaki. This provides the reader with a solid foundation in set theory, while the inclusion of 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, will usher the advanced reader to the doorstep of the research literature.

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

  • 0521753732
  • 9780521753739
  • George Tourlakis
  • 9 January 2003
  • Cambridge University Press
  • Hardcover (Book)
  • 340
As an Amazon Associate we earn from qualifying purchases. If you click through any of the links below and make a purchase we may earn a small commission (at no extra cost to you). Click here to learn more.

Would you like your name to appear with the review?

We will post your book review within a day or so as long as it meets our guidelines and terms and conditions. All reviews submitted become the licensed property of www.find-book.co.uk as written in our terms and conditions. None of your personal details will be passed on to any other third party.

All form fields are required.