Computability and Logic Fifth Edition
Boolos, George S.
ISBN 10: 0521701465 ISBN 13: 9780521701464
Published by Cambridge University Press, 2007
Used
Paperback
From
HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
AbeBooks Seller since 11 March 2019
This specific item is no longer available.
About this Item
Description:
Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_426227164
Synopsis:
Computability and Logic is a classic because of its accessibility to students without a mathematical background. This fifth edition was first published in 2007.
Product Description: Hard to find
"About this title" may belong to another edition of this title.
Bibliographic Details
Title: Computability and Logic Fifth Edition
Publisher: Cambridge University Press
Publication Date: 2007
Binding: Paperback
Condition: Good
Edition: 5th or later Edition
Top Search Results from the AbeBooks Marketplace
Stock Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
paperback
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Minor shelf wear/ creasing on cover. Seller Inventory # mon0003870036
Stock Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
paperback
Seller: Books From California, Simi Valley, CA, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. Seller Inventory # mon0003652942
Stock Image
Computability and Logic Fifth Edition
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
Paperback
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_451266467
Stock Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
paperback
Seller: Magers and Quinn Booksellers, Minneapolis, MN, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Very Good. May have light to moderate shelf wear and/or a remainder mark. Complete. Clean pages. Seller Inventory # 1513204
Stock Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
Softcover
Seller: Marlton Books, Bridgeton, NJ, U.S.A.
Seller rating 5 out of 5 stars
Condition: Acceptable. Readable, but has significant damage / tears. Has a remainder mark. paperback Used - Acceptable 2007. Seller Inventory # M-20007214
Seller Image
Computability and Logic
Published by
Cambridge University Press 11.2007., 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
, Softcover/Paperback
Seller: Fundus-Online GbR Borkert Schwarz Zerfaß, Berlin, Germany
Seller rating 5 out of 5 stars
, Softcover/Paperback. Condition: Sehr gut. Auflage: 5. 364 Seiten Fresh and clean copy in good condition. Contents: Computability Theory - Enumerability - Diagonalization - Turing computability - Uncomputability - Abacus computability - Recursive functions - Recursive sets and relations - Equivalent definitions of computability - Basic Metalogic - A precis of first-order logic: syntax - A precis of first-order logic: semantics - The undecidability of first-order logic - Models - The existence of models - Proofs and completeness - Arithmetization - Representability of recursive functions - Indefinability, undecidability, incompleteness - The unprovability of consistency - Further Topics - Normal forms - The Craig interpolation theorem - Monadic and dyadic logic - Second-order logic - Arithmetical definability - Decidability of arithmetic without multiplication - Non-standard models - Ramsey's theorem - Modal logic and provability ISBN 9780521701464 Sprache: Englisch Gewicht in Gramm: 630. Seller Inventory # 1269327
Seller Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
Used
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: As New. Unread book in perfect condition. Seller Inventory # 5272869
Stock Image
Computability and Logic
Print on DemandSeller: Revaluation Books, Exeter, United Kingdom
Seller rating 5 out of 5 stars
Paperback. Condition: Brand New. 5th edition. 350 pages. 10.00x7.00x0.75 inches. In Stock. This item is printed on demand. Seller Inventory # __0521701465
Buy New
£ 31.47
£ 12.50 shipping
Ships from United Kingdom to U.S.A.
Ships from United Kingdom to U.S.A.
Quantity: 1 available
Stock Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
New
Softcover
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Feb2416190012530
Seller Image
Computability and Logic
Published by
Cambridge University Press, 2007
ISBN 10: 0521701465
ISBN 13: 9780521701464
New
Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # 5272869-n