Published by Cambridge University Press (edition 1), 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: BooksRun, Philadelphia, PA, U.S.A.
Paperback. Condition: Good. 1. Ship within 24hrs. Satisfaction 100% guaranteed. APO/FPO addresses supported.
Published by Cambridge University Press, 2003
ISBN 10: 0521753740 ISBN 13: 9780521753746
Language: English
Seller: Anybook.com, Lincoln, United Kingdom
US$ 48.67
Convert currencyQuantity: 1 available
Add to basketCondition: Good. Volume 2. This is an ex-library book and may have the usual library/used-book markings inside.This book has hardback covers. In good all round condition. No dust jacket. Please note the Image in this listing is a stock photo and may not match the covers of the actual item,950grams, ISBN:9780521753746.
Published by Cambridge University Press, 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 66.16
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Cambridge University Press, Cambridge, 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Paperback. Condition: new. Paperback. 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. This work includes formal proof techniques, a section on applications of compactness, 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 theorem. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521753740 ISBN 13: 9780521753746
Language: English
Seller: Labyrinth Books, Princeton, NJ, U.S.A.
Condition: New.
Published by Cambridge University Press, 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 75.30
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Cambridge University Press 2006-09-08, 2006
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
US$ 73.83
Convert currencyQuantity: 10 available
Add to basketPaperback. Condition: New.
Published by Cambridge University Press, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 88.40
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Cambridge University Press CUP, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Books Puddle, New York, NY, U.S.A.
Condition: New. pp. 592.
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Paperback. Condition: new. Paperback. 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). This two-volume 2003 work bridges the gap between introductory texts and the research literature. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 97.55
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Cambridge University Press, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Majestic Books, Hounslow, United Kingdom
US$ 103.71
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 592 2:B&W 6 x 9 in or 229 x 152 mm Perfect Bound on Creme w/Gloss Lam.
Published by Cambridge University Press 2003-02-13, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Chiron Media, Wallingford, United Kingdom
US$ 97.32
Convert currencyQuantity: 10 available
Add to basketPaperback. Condition: New.
Published by Cambridge University Press, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Biblios, Frankfurt am main, HESSE, Germany
US$ 112.58
Convert currencyQuantity: 1 available
Add to basketCondition: New. pp. 592.
Published by Cambridge University Press, Cambridge, 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: CitiRetail, Stevenage, United Kingdom
US$ 83.44
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. This work includes formal proof techniques, a section on applications of compactness, 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 theorem. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Cambridge University Press, Cambridge, 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 107.33
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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. This work includes formal proof techniques, a section on applications of compactness, 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 theorem. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by Cambridge University Press, 2010
ISBN 10: 0521168465 ISBN 13: 9780521168465
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 115.63
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 1 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 theorem.
Published by Cambridge University Press, 2003
ISBN 10: 0521753732 ISBN 13: 9780521753739
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 146.28
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: CitiRetail, Stevenage, United Kingdom
US$ 107.77
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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). This two-volume 2003 work bridges the gap between introductory texts and the research literature. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: Mispah books, Redhill, SURRE, United Kingdom
US$ 130.75
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: Like New. Like New. book.
Published by Cambridge University Press, 2003
ISBN 10: 0521753732 ISBN 13: 9780521753739
Language: English
Seller: California Books, Miami, FL, U.S.A.
Condition: New.
Published by Cambridge University Press, Cambridge, 2011
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 133.54
Convert currencyQuantity: 1 available
Add to basketPaperback. Condition: new. Paperback. 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). This two-volume 2003 work bridges the gap between introductory texts and the research literature. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521753732 ISBN 13: 9780521753739
Language: English
Seller: Ria Christie Collections, Uxbridge, United Kingdom
US$ 158.75
Convert currencyQuantity: Over 20 available
Add to basketCondition: New. In.
Published by Cambridge University Press, Cambridge, 2003
ISBN 10: 0521753732 ISBN 13: 9780521753739
Language: English
Seller: Grand Eagle Retail, Mason, OH, U.S.A.
Hardcover. Condition: new. Hardcover. 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 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 theorem. This work includes formal proof techniques, a section on applications of compactness, 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 theorem. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521168481 ISBN 13: 9780521168489
Language: English
Seller: AHA-BUCH GmbH, Einbeck, Germany
US$ 144.89
Convert currencyQuantity: 1 available
Add to basketTaschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This two-volume work bridges the gap between introductory texts and the research literature.
Published by Cambridge University Press, Cambridge, 2003
ISBN 10: 0521753732 ISBN 13: 9780521753739
Language: English
Seller: CitiRetail, Stevenage, United Kingdom
US$ 173.85
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: new. Hardcover. 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 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 theorem. This work includes formal proof techniques, a section on applications of compactness, 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 theorem. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521753740 ISBN 13: 9780521753746
Language: English
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
US$ 215.41
Convert currencyQuantity: Over 20 available
Add to basketCondition: New.
Seller: Revaluation Books, Exeter, United Kingdom
US$ 224.12
Convert currencyQuantity: 2 available
Add to basketHardcover. Condition: Brand New. 340 pages. 9.25x6.25x1.00 inches. In Stock.
Published by Cambridge University Press, Cambridge, 2003
ISBN 10: 0521753732 ISBN 13: 9780521753739
Language: English
Seller: AussieBookSeller, Truganina, VIC, Australia
US$ 209.47
Convert currencyQuantity: 1 available
Add to basketHardcover. Condition: new. Hardcover. 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 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 theorem. This work includes formal proof techniques, a section on applications of compactness, 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 theorem. Shipping may be from our Sydney, NSW warehouse or from our UK or US warehouse, depending on stock availability.
Published by Cambridge University Press, 2003
ISBN 10: 0521753740 ISBN 13: 9780521753746
Language: English
Seller: California Books, Miami, FL, U.S.A.
Condition: New.