Picture 1 of 1
Computability and Logic By George S. Boolos, Richard C. Jeffrey
Condition:
Out of stock / 2 sold
Postage:
Located in: NY, United States
Delivery:
Estimated between Thu, 13 Jun and Tue, 18 Jun to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 98% positive Feedback
Registered as a business seller
Seller assumes all responsibility for this listing.
eBay item number:334046022692
Item specifics
- Condition
- Title
- Computability and Logic
- ISBN
- 9780521389235
- EAN
- 9780521389235
- Subject Area
- Mathematics, Philosophy
- Publication Name
- Computability and Logic
- Item Length
- 9 in
- Publisher
- Cambridge University Press
- Subject
- Logic
- Publication Year
- 1989
- Type
- Textbook
- Format
- Trade Paperback
- Language
- English
- Item Height
- 0.8 in
- Features
- Revised
- Item Width
- 6 in
- Item Weight
- 15.7 Oz
- Number of Pages
- 320 Pages
About this product
Product Information
A text for a second course in logic for graduate and advanced undergraduate students. This third edition has been corrected and contains thoroughly revised versions of the chapters on Ramsey and provability, with new exercises provided for three other chapters. There are also two new chapters dealing with undecidable sentences and on the non-existence of non-standard recursive models of Z.
Product Identifiers
Publisher
Cambridge University Press
ISBN-10
0521389232
ISBN-13
9780521389235
eBay Product ID (ePID)
172553
Product Key Features
Publication Name
Computability and Logic
Format
Trade Paperback
Language
English
Features
Revised
Subject
Logic
Publication Year
1989
Type
Textbook
Subject Area
Mathematics, Philosophy
Number of Pages
320 Pages
Dimensions
Item Length
9 in
Item Height
0.8 in
Item Width
6 in
Item Weight
15.7 Oz
Additional Product Features
Edition Number
3
LCCN
89-032584
Lc Classification Number
Bc135
Edition Description
Revised Edition
Reviews
'… particularly appropriate for graduate and advanced undergraduate students in philosophy … The book is written in a clear and pleasing style and avoids pedantry … It should be an excellent text for its intended audience.' Mathematical Reviews, 'Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.' American Math Monthly, ‘Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.’American Math Monthly, '... particularly appropriate for graduate and advanced undergraduate students in philosophy ... The book is written in a clear and pleasing style and avoids pedantry ... It should be an excellent text for its intended audience.'Mathematical Reviews, '... particularly appropriate for graduate and advanced undergraduate students in philosophy ... The book is written in a clear and pleasing style and avoids pedantry ... It should be an excellent text for its intended audience.' Mathematical Reviews, 'Intended for a second course in logic it gives excellent coverage of the fundamental theoretical results about logic involving computability, undecidability, axiomatization, definability, incompleteness, etc.'American Math Monthly, ‘… particularly appropriate for graduate and advanced undergraduate students in philosophy … The book is written in a clear and pleasing style and avoids pedantry … It should be an excellent text for its intended audience.’Mathematical Reviews
Table of Content
Preface; Preface to the third edition; 1. Enumerability; 2. Diagonalization; 3. Turing machines; 4. Uncomputability via the busy beaver problem; 5. Uncomputability via diagonalization; 6. Abacus computable functions are Turing computable; 7. Recursive functions are abacus computable; 8. Turing computable functions are recursive; 9. First-order logic revisited; 10. First-order logic is undecidable; 11. First-order logic formalized: derivations and soundness; 12. Completeness of the formalization: compactness; 13. The Skolem-Löwenheim theorem; 14. Representability in Q; 15. Undecidability, indefinability and incompleteness; 16. Provability predicates and the unprovability of consistency; 17. Non-standard models of arithmetic; 18. Second-order logic; 19. On defining arithmetical truth; 20. Definability arithmetic and forcing; 21. The decidability of arithmetic with addition, but not multiplication; 22. Dynadic logic is undecidable: 'eliminating' names and function symbols; 23. The Craig interpolation lemma; 24. Two applications of Craig's lemma; 25. Monadic versus dyadic logic; 26. Ramsey's theorem; 27. Provability considered modal-logically; 28. Undecidable sentences; 29. Non-standard models of Z are not recursive; Index.
Copyright Date
1989
Target Audience
College Audience
Dewey Decimal
511.3/52
Dewey Edition
22
Illustrated
Yes
Item description from the seller
Business seller information
Value Added Tax number:
- GB 724498118
Seller assumes all responsibility for this listing.
eBay item number:334046022692
Postage and handling
Item location:
NY, United States
Posts to:
Worldwide
Excludes:
Alaska/Hawaii, Argentina, Barbados, Brazil, China, French Guiana, French Polynesia, Guadeloupe, Ireland, Libya, Martinique, Mexico, New Caledonia, Puerto Rico, Reunion, Russian Federation, South Africa, Ukraine, United Kingdom, Venezuela
Postage and handling | To | Service | Delivery*See delivery notes |
---|---|---|---|
Free postage | United States | Economy postage (USPS Media MailTM) | Estimated between Thu, 13 Jun and Tue, 18 Jun to 43230 |
Handling time |
---|
Will usually post within 2 business days of receiving cleared payment. |
Taxes |
---|
Taxes may be applicable at checkout. Learn moreLearn more about paying tax on eBay purchases. |
Sales tax for an item #334046022692
Sales tax for an item #334046022692
Seller collects sales tax for items posted to the following states:
State | Sales tax rate |
---|
Return policy
Item must be returned within | Refund will be given as |
---|---|
30 days after the buyer receives it | Money back |
The buyer is responsible for return postage costs.
You must return items in their original packaging and in the same condition as when you received them. If you don't follow our item condition policy for returnsitem condition policy for returns, you may not receive a full refund.
Refunds by law: In Australia, consumers have a legal right to obtain a refund from a business if the goods purchased are faulty, not fit for purpose or don't match the seller's description. More information at returnsreturns - opens in a new window or tab.
Payment details
Payment methods
Popular categories from this Store
Seller Feedback (514,080)
This item (2)
All items (514,080)
a***i (43)- Feedback left by buyer.
Past 6 months
Verified purchase
The book I got is like new, in perfect condition. Very satisfied with my purchase.
1***o (295)- Feedback left by buyer.
Past 6 months
Verified purchase
Great seller! Thanks!
e***n (415)- Feedback left by buyer.
Past month
Verified purchase
Great prices. Book as described!! Quick processing and excellent communication. Great packaging and delivery to shipping!! Excellent choice in shipper!! Was able to track the progress of package ETA. Package actually arrived early!! THANK YOU!! AWESOME AAA+++ Service!!! Highly recommend this seller!! Will buy from you again!!
s***t (200)- Feedback left by buyer.
Past 6 months
Verified purchase
Prompt professional kind honest communication. Shipping took some time for shipping partner to connect w/USPS, but this is to be expected w/economy/media mail. This shipping method allows the proprietor to offer free shipping and good prices on their items. It was only 12 days from purchase date to delivery date. Item was listed as Very Good condition and arrived in better than described condition. Deck is complete, cards, book, and box are like new. Great price! Thank you very much! 5-stars!
-***u (1365)- Feedback left by buyer.
Past 6 months
Verified purchase
Description of item was very accurate. Price and shipping costs were reasonable. Items were well packaged. and arrived promptly in good condition. Communication is clear and prompt. Would buy from this seller again.
Product ratings and reviews
More to explore:
- Jeffrey Archer Fiction & Fiction Books,
- Jeffrey Archer Hardcover Fiction Books,
- Logic Non-Fiction Hardcover Books,
- Logic Adult Learning & University Books,
- Jeffrey Archer Fiction Paperback Fiction & Books,
- Jeffrey Smart Non-Fiction Hardcover Books in English,
- George Orwell Fiction Fiction & Books,
- Jeffrey Archer Fiction & Non-Fiction Books in English,
- Georges Simenon Fiction & Fiction Books,
- Elizabeth George Fiction Fiction & Books