Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics),New

Mathematical Logic, 2nd Edition (Undergraduate Texts in Mathematics),New

In Stock
SKU: DADAX0387942580
UPC: 9780387942582
Brand: Springer
Condition: New
Regular price$55.85
Quantity
Add to wishlist
Add to compare

Sold by Ergodebooks, an authorized reseller.

Returns accepted within 30 days | support@ergodebooks.com

Verified
Shipping Information
  • Free Standard Shipping — United States only
  • Processing Time: 1–3 business days
  • Estimated Delivery: 3–5 business days after dispatch
  • Double-boxed, fully insured & discreetly packaged
  • Tracking number sent via email once dispatched
  • Orders over $250 require signature upon delivery. Taxes calculated at checkout.
Returns & Refund

Returns accepted within 30 days of delivery.

Damaged or Defective Item

Free return shipping + replacement or full refund

Wrong Item Received

Free return shipping + replacement or full refund

Change of Mind

Return shipping at customer's expense · 25% restocking fee applies

All returns require a Return Authorization (RA) number before sending.

To initiate a return, contact us:

support@ergodebooks.com +1 (281) 738-1050
View Full Return & Refund Policy
Payment Option
Payment Methods

Help

If you have any questions, you are always welcome to contact us. We'll get back to you as soon as possible, withing 24 hours on weekdays.

Customer service

All questions about your order, return and delivery must be sent to our customer service team by e-mail at yourstore@yourdomain.com

Sale & Press

If you are interested in selling our products, need more information about our brand or wish to make a collaboration, please contact us at press@yourdomain.com

What is a mathematical proof? How can proofs be justified? Are there limitations to provability? To what extent can machines carry out mathe matical proofs? Only in this century has there been success in obtaining substantial and satisfactory answers. The present book contains a systematic discussion of these results. The investigations are centered around firstorder logic. Our first goal is Godel's completeness theorem, which shows that the con sequence relation coincides with formal provability: By means of a calcu lus consisting of simple formal inference rules, one can obtain all conse quences of a given axiom system (and in particular, imitate all mathemat ical proofs). A short digression into model theory will help us to analyze the expres sive power of the firstorder language, and it will turn out that there are certain deficiencies. For example, the firstorder language does not allow the formulation of an adequate axiom system for arithmetic or analysis. On the other hand, this difficulty can be overcomeeven in the framework of firstorder logicby developing mathematics in settheoretic terms. We explain the prerequisites from set theory necessary for this purpose and then treat the subtle relation between logic and set theory in a thorough manner.

⚠️ WARNING (California Proposition 65):

This product may contain chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.

For more information, please visit www.P65Warnings.ca.gov.

  • Q: How many pages are in Mathematical Logic, 2nd Edition? A: There are three hundred one pages in this book. It provides a thorough discussion of mathematical logic.
  • Q: What are the dimensions of this book? A: The dimensions are six point four two inches in length, one inch in width, and nine point four one inches in height. These measurements make it a standard size for a hardcover book.
  • Q: What type of binding does this book have? A: The book is bound in hardcover. This type of binding adds durability and a professional look.
  • Q: What is the reading level for Mathematical Logic, 2nd Edition? A: This book is suitable for undergraduate students. It covers complex topics in mathematical logic that require foundational knowledge.
  • Q: Who is the author of this book? A: The author is H.-D. Ebbinghaus. He is known for his contributions to mathematical logic and set theory.
  • Q: What topics are covered in Mathematical Logic, 2nd Edition? A: The book discusses mathematical proofs, first-order logic, Godel's completeness theorem, and model theory. It provides a comprehensive view of these fundamental concepts.
  • Q: How should I store this book? A: Store the book in a cool, dry place away from direct sunlight. This will help preserve the integrity of the hardcover and pages.
  • Q: How do I care for the hardcover of the book? A: To care for the hardcover, wipe it gently with a soft, dry cloth. Avoid using water or cleaning solutions that could damage the cover.
  • Q: Can I read this book if I am a beginner in mathematics? A: While beginners can attempt to read it, prior knowledge of basic mathematical concepts is recommended. The book delves into advanced topics that may be challenging without a foundational understanding.
  • Q: Is this book appropriate for self-study? A: Yes, this book can be used for self-study. However, having a background in mathematics will enhance the learning experience.
  • Q: What if the book arrives damaged? A: If the book arrives damaged, you should contact customer support immediately. They can assist with returns or exchanges as per their policy.
  • Q: Is there a warranty for this book? A: Books typically do not come with a warranty. However, you can check the return policy for any specific guarantees.
  • Q: How do I return this book if I don't like it? A: To return the book, follow the return process outlined by the retailer. Ensure it is in its original condition for a successful return.
  • Q: What if I have questions while reading the book? A: You can refer to supplementary materials or online forums for help. Engaging with a study group may also provide valuable insights.
  • Q: Is there a glossary or index in the book? A: Yes, the book includes an index to help locate specific topics. This feature aids in navigating the content effectively.
  • Q: Does this book have any illustrations or diagrams? A: Yes, the book contains black and white illustrations. These visuals support the explanations of complex concepts in mathematical logic.

Recently Viewed