Picture 1 of 1
Mathematical Logic (Dover Books on Mathematics)
Condition:
Shipping:
Located in: Harrisburg, Pennsylvania, United States
Delivery:
Estimated between Sat, Jun 8 and Tue, Jun 11 to 43230
Returns:
Payments:
Shop with confidence
Seller information
- 99.5% positive feedback
Registered as a Business Seller
Seller assumes all responsibility for this listing.
eBay item number:135052136278
Item specifics
- Condition
- Release Year
- 2002
- Book Title
- Mathematical Logic (Dover Books on Mathematics)
- ISBN
- 9780486425337
- Subject Area
- Mathematics
- Publication Name
- Mathematical Logic
- Item Length
- 8.7 in
- Publisher
- Dover Publications, Incorporated
- Subject
- History & Philosophy, Logic
- Series
- Dover Books on Mathematics Ser.
- Publication Year
- 2002
- Type
- Textbook
- Format
- Hardcover
- Language
- English
- Item Height
- 0.9 in
- Item Width
- 5.5 in
- Item Weight
- 16 Oz
- Number of Pages
- 416 Pages
About this product
Product Information
Undergraduate students with no prior instruction in mathematical logic will benefit from this multi-part text. Part I offers an elementary but thorough overview of mathematical logic of 1st order. Part II introduces some of the newer ideas and the more profound results of logical research in the 20th century. 1967 edition.
Product Identifiers
Publisher
Dover Publications, Incorporated
ISBN-10
0486425339
ISBN-13
9780486425337
eBay Product ID (ePID)
2263056
Product Key Features
Publication Name
Mathematical Logic
Format
Hardcover
Language
English
Subject
History & Philosophy, Logic
Series
Dover Books on Mathematics Ser.
Publication Year
2002
Type
Textbook
Subject Area
Mathematics
Number of Pages
416 Pages
Dimensions
Item Length
8.7 in
Item Height
0.9 in
Item Width
5.5 in
Item Weight
16 Oz
Additional Product Features
LCCN
2002-034823
Lc Classification Number
Qa9
Edition Description
Unabridged Edition
Table of Content
PART I. ELEMENTARY MATHEMATICAL LOGICCHAPTER I. THE PROPOSITIONAL CALCULUS 1. Linguistic considerations: formulas 2. "Model theory: truth tables,validity " 3. "Model theory: the substitution rule, a collection of valid formulas" 4. Model theory: implication and equivalence 5. Model theory: chains of equivalences 6. Model theory: duality 7. Model theory: valid consequence 8. Model theory: condensed truth tables 9. Proof theory: provability and deducibility 10. Proof theory: the deduction theorem 11. "Proof theory: consistency, introduction and elimination rules" 12. Proof theory: completeness 13. Proof theory: use of derived rules 14. Applications to ordinary language: analysis of arguments 15. Applications to ordinary language: incompletely stated arguments CHAPTER II. THE PREDICATE CALCULUS 16. "Linguistic considerations: formulas, free and bound occurrences of variables" 17. "Model theory: domains, validity" 18. Model theory: basic results on validity 19. Model theory: further results on validity 20. Model theory: valid consequence 21. Proof theory: provability and deducibility 22. Proof theory: the deduction theorem 23. "Proof theory: consistency, introduction and elimination rules" 24. "Proof theory: replacement, chains of equivalences" 25. "Proof theory: alterations of quantifiers, prenex form" 26. "Applications to ordinary language: sets, Aristotelian categorical forms" 27. Applications to ordinary language: more on translating words into symbolsCHAPTER III. THE PREDICATE CALCULUS WITH EQUALITY 28. "Functions, terms" 29. Equality 30. "Equality vs. equivalence, extensionality" 31. DescriptionsPART II. MATHEMATICAL LOGIC AND THE FOUNDATIONS OF MATHEMATICSCHAPTER IV. THE FOUNDATIONS OF MATHEMATICS 32. Countable sets 33. Cantor's diagonal method 34. Abstract sets 35. The paradoxes 36. Axiomatic thinking vs. intuitive thinking in mathematics 37. "Formal systems, metamathematics" 38. Formal number theory 39. Some other formal systemsCHAPTER V. COMPUTABILITY AND DECIDABILITY 40. Decision and computation procedures 41. "Turing machines, Church's thesis" 42. Church's theorem (via Turing machines) 43. Applications to formal number theory: undecidability (Church) and incompleteness (Gödel's theorem) 44. Applications to formal number theory: consistency proofs (Gödel's second theorem) 45. "Application to the predicate calculus (Church, Turing)" 46. "Degrees of unsolvability (Post), hierarchies (Kleene, Mostowski)." 47. Undecidability and incompleteness using only simple consistency (Rosser)CHAPTER VI. THE PREDICATE CALCULUS (ADDITIONAL TOPICS) 48. Gödel's completeness theorem: introduction 49. Gödel's completeness theorem: the basic discovery 50. "Gödel's completeness theorem with a Gentzen-type formal system, the Löwenheim-Skolem theorem" 51. Gödel's completeness theorem (with a Hilbert-type formal system) 52. "Gödel's completeness theorem, and the Löwenheim-Skolem theorem, in the predicate calculus with equality" 53. Skolen's paradox and nonstandard models of arithmetic 54. Gentzen's theorem 55. "Permutability, Herbrand's theorem" 56. Craig's interpolation theorem 57. "Beth's theorem on definability, Robinson's consistency theorem"BIBLIOGRAPHYTHEOREM AND LEMMA NUMBERS: PAGESLIST OF POSTULATESSYMBOLS AND NOTATIONSINDEX
Copyright Date
2002
Target Audience
College Audience
Dewey Decimal
510/.01
Dewey Edition
21
Illustrated
Yes
Item description from the seller
Seller assumes all responsibility for this listing.
eBay item number:135052136278
Shipping and handling
Item location:
Harrisburg, Pennsylvania, United States
Ships to:
Afghanistan, Albania, Algeria, Andorra, Angola, Anguilla, Antigua and Barbuda, Argentina, Armenia, Aruba, Australia, Austria, Azerbaijan Republic, Bahamas, Bahrain, Bangladesh, Belgium, Belize, Benin, Bermuda, Bhutan, Bolivia, Bosnia and Herzegovina, Botswana, Brazil, Brunei Darussalam, Bulgaria, Burkina Faso, Burundi, Cambodia, Cameroon, Canada, Cape Verde Islands, Cayman Islands, Central African Republic, Chad, Chile, China, Colombia, Costa Rica, Cyprus, Czech Republic, Côte d'Ivoire (Ivory Coast), Democratic Republic of the Congo, Denmark, Djibouti, Dominican Republic, Ecuador, Egypt, El Salvador, Equatorial Guinea, Eritrea, Estonia, Ethiopia, Fiji, Finland, France, Gabon Republic, Gambia, Georgia, Germany, Ghana, Gibraltar, Greece, Greenland, Grenada, Guatemala, Guinea, Guinea-Bissau, Guyana, Haiti, Honduras, Hong Kong, Hungary, Iceland, India, Indonesia, Ireland, Israel, Italy, Jamaica, Japan, Jordan, Kazakhstan, Kenya, Kiribati, Kuwait, Kyrgyzstan, Laos, Latvia, Lebanon, Lesotho, Liberia, Liechtenstein, Lithuania, Luxembourg, Macau, Macedonia, Madagascar, Malawi, Malaysia, Maldives, Mali, Malta, Mauritania, Mauritius, Mexico, Moldova, Monaco, Mongolia, Montenegro, Montserrat, Morocco, Mozambique, Namibia, Nauru, Nepal, Netherlands, New Zealand, Nicaragua, Niger, Nigeria, Norway, Oman, Pakistan, Panama, Papua New Guinea, Paraguay, Peru, Philippines, Poland, Portugal, Qatar, Republic of Croatia, Republic of the Congo, Romania, Rwanda, Saint Kitts-Nevis, Saint Lucia, Saint Vincent and the Grenadines, San Marino, Saudi Arabia, Senegal, Serbia, Seychelles, Sierra Leone, Singapore, Slovakia, Slovenia, Solomon Islands, South Africa, South Korea, Spain, Sri Lanka, Suriname, Swaziland, Sweden, Switzerland, Taiwan, Tajikistan, Tanzania, Thailand, Togo, Tonga, Trinidad and Tobago, Tunisia, Turkey, Turkmenistan, Turks and Caicos Islands, Uganda, United Arab Emirates, United Kingdom, United States, Uruguay, Uzbekistan, Vanuatu, Vatican City State, Vietnam, Wallis and Futuna, Western Samoa, Yemen, Zambia, Zimbabwe
Excludes:
Alaska/Hawaii, Barbados, French Guiana, French Polynesia, Guadeloupe, Libya, Martinique, New Caledonia, Reunion, Russian Federation, Ukraine, Venezuela
Shipping and handling | To | Service | Delivery*See Delivery notes |
---|---|---|---|
Free shipping | United States | Economy Shipping (USPS Media MailTM) | Estimated between Sat, Jun 8 and Tue, Jun 11 to 43230 |
Handling time |
---|
Will usually ship within 3 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 #135052136278
Sales tax for an item #135052136278
Seller collects sales tax for items shipped to the following provinces:
Province | Sales Tax Rate |
---|
Return policy
After receiving the item, contact seller within | Refund will be given as |
---|---|
14 days after the buyer receives it | Money Back |
The buyer is responsible for return shipping costs.
Payment details
Payment methods
Seller feedback (410)
2***t (245)- Feedback left by buyer.
Past 6 months
Verified purchase
As described. Would buy from this seller again.
0***m (36)- Feedback left by buyer.
Past 6 months
Verified purchase
I’m kind of grossed out. I went out of my way to find a copy of Lolita without a cover of a young girl or anything suggestive bc it’s a story about … yeah. So I bought it specifically for the cover. The book comes in and the cover is the complete opposite of what I wanted and the exact thing I didn’t want. I feel gross looking at it and my first thought was “I’m gonna rip the cover off this”. It’s in good condition otherwise but I’m kind of upset
5***u (3394)- Feedback left by buyer.
Past month
Verified purchase
Gem Mint Seller 10+❣️PackagedTLC,w Love,fast shipping, A+++++ seller!TLC packaging done w Heart to make sure we got it quick-Deal Amazing for Our DVD Family DVD Collections❣️ CommunicationPerfect🌟⭐TopNotchSeller *F*I*V*E* eBay seller! Great communication! Very pleased w service,especially w the conditions of items♥️Love Your Thoughtfulness♥️U R Awesome🌟⭐😍We THANK U ♥️Love the detailed protection taken to secure packaging♥️♥️♥️♥️Samantha&EC🚀TheSammyExpress🚀SammyRocket🚀
Product ratings and reviews
More to explore:
- Mathematics Books in Spanish,
- Mathematics Antiquarian & Collectible Books,
- Mathematics Dictionaries & Reference Books,
- Mathematics Books 1900-1949,
- Mathematics Books 1850-1899,
- Mathematics Textbooks,
- Mathematics Antiquarian & Collectible Books in Russian,
- Mathematics Leather Antiquarian & Collectible Books,
- Mathematics Textbook Textbooks,
- Mathematics Study Test Books Prep