Propositional and Predicate Calculus: A Model of Argument
$116.37
Sale price
$116.37
Regular price
$116.37
Skip to product information
✓ Verified
Propositional and Predicate Calculus: A Model of Argument
$116.37
Sale price
$116.37
Regular price
$116.37
Sold by Ergodemedia, an authorized reseller of Authentic New & Used Books with Free US Shipping.
30-day returns by mail · Refunded to original payment method | support@ergodemedia.com
Shipping Information
- Free Standard Shipping — United States only
- Processing Time: 1–3 business days
- Estimated Delivery: 3–5 business days after dispatch via USPS / UPS
- Securely packed to ensure your book arrives in the described condition
- Tracking number sent via email once dispatched
- Taxes calculated at checkout. International shipping not available.
Returns & Refund
Returns accepted within 30 days of delivery. Returns are processed by mail. Refunds are issued to the original payment method within 5–7 business days of receiving the returned item.
Damaged, Defective or Misrepresented Item
Free return shipping by mail · Full refund to original payment method
Wrong Item Received
Free return shipping by mail · Full refund or replacement at your choice
Change of Mind
Return shipping at customer's expense · Book must be in the same condition as received · Refund to original payment method
All returns require a Return Authorization (RA) number before sending. Original shipping charges are non-refundable.
View Full Return & Refund Policy
Safety & Compliance
⚠️
California Proposition 65 Warning
Some products sold on this website may expose you to chemicals known to the State of California to cause cancer, birth defects, or other reproductive harm.
www.P65Warnings.ca.gov
📖
Book Condition & Care Notice
Used books are graded and described accurately — condition details are listed on each product page. Books may contain previous owner's handwriting, highlights, or stamps unless stated as new. Store books away from direct sunlight and moisture to preserve their condition.
New books are sealed or unread. Used books are inspected before dispatch.
ℹ️
Product Authenticity & Notice
All books sold by Ergodemedia are 100% authentic, sourced directly from publishers and trusted distributors. Book condition is accurately graded and described. Some books may contain previous owner's markings or inscriptions.
Ergodemedia — Authentic New & Used Books. Free US Shipping. Delivered to Your Door.
Description
At the heart of the justification for the reasoning used in modern mathematics lies the completeness theorem for predicate calculus. This unique textbook covers two entirely different ways of looking at such reasoning. Topics include: the representation of mathematical statements by formulas in a formal language; the interpretation of formulas as true or false in a mathematical structure; logical consequence of one formula from others; the soundness and completeness theorems connecting logical consequence and formal proof; the axiomatization of some mathematical theories using a formal language; the compactness theorem and an introduction to model theory.This book is designed for selfstudy, as well as for taught courses, using principles successfully developed by the Open University and used across the world. It includes exercises embedded within the text with full solutions to many of these. Some experience of axiombased mathematics is required but no previous experience of logic.
Product Notice
This book is sold in used condition unless explicitly stated as new.
Condition is graded and described accurately. Some books may contain
previous owner's markings, highlights, or inscriptions. This product
may contain chemicals known to the State of California to cause cancer
or reproductive harm. For more information visit
www.P65Warnings.ca.gov
Shop The Full Collection
