FREE Delivery in the UK.
In stock.
Dispatched from and sold by Amazon. Gift-wrap available.
Propositional and Predica... has been added to your Basket
+ £2.80 delivery
Used: Good | Details
Sold by WeBuyBooks
Condition: Used: Good
Comment: UK Expedited shipping available on this item for 4.99. Fast shipping. Excellent Customer Feedback.
Have one to sell?
Flip to back Flip to front
Listen Playing... Paused   You're listening to a sample of the Audible audio edition.
Learn more
See all 2 images

Propositional and Predicate Calculus: A Model of Argument Paperback – 8 Sep 2005

5.0 out of 5 stars 1 customer review

See all 4 formats and editions Hide other formats and editions
Amazon Price
New from Used from
Kindle Edition
£35.99 £25.99
Note: This item is eligible for click and collect. Details
Pick up your parcel at a time and place that suits you.
  • Choose from over 13,000 locations across the UK
  • Prime members get unlimited deliveries at no additional cost
How to order to an Amazon Pickup Location?
  1. Find your preferred location and add it to your address book
  2. Dispatch to this address when you check out
Learn more
click to open popover

Enter your mobile number or email address below and we'll send you a link to download the free Kindle App. Then you can start reading Kindle books on your smartphone, tablet, or computer - no Kindle device required.

  • Apple
  • Android
  • Windows Phone

To get the free app, enter your mobile phone number.

Product details

  • Paperback: 324 pages
  • Publisher: Springer (8 Sept. 2005)
  • Language: English
  • ISBN-10: 0387573895
  • ISBN-13: 978-0387573892
  • ASIN: 1852339217
  • Product Dimensions: 18.9 x 1.9 x 24.6 cm
  • Average Customer Review: 5.0 out of 5 stars 1 customer review
  • Amazon Bestsellers Rank: 1,088,928 in Books (See Top 100 in Books)
  • Would you like to tell us about a lower price?
    If you are a seller for this product, would you like to suggest updates through seller support?

  • See Complete Table of Contents

Product description


From the reviews of the first edition:

"The aim of the present book is to give an introduction to propositional and predicate calculus which can be very useful when studying mathematical logic and many other mathematical subjects. ... The book is mainly conceived for the independent study of the students ... but it can also be used for taught courses. It is to be mentioned that the book includes very interesting exercises, many of them possessing full solutions." (Marius Tarnauceanu, Zentralblatt MATH, Vol. 1082, 2006)


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. The 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; and the compactness theorem and an introduction to model theory. This book is designed for self-study, 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 axiom-based mathematics is required but no previous experience of logic.

See all Product description

What other items do customers buy after viewing this item?

Customer reviews

Share your thoughts with other customers
See all 1 customer reviews

Top customer reviews

25 March 2014
Format: Paperback
2 people found this helpful
|Comment|Report abuse

Most helpful customer reviews on 4.4 out of 5 stars 3 reviews
Kerry W
5.0 out of 5 starsFive Stars
16 November 2016 - Published on
Format: Paperback|Verified Purchase
André Gargoura
5.0 out of 5 starsExcellent !
25 March 2014 - Published on
Format: Paperback
7 people found this helpful.
3.0 out of 5 starsNot quite as good as his set theory book
23 May 2009 - Published on
Format: Paperback
13 people found this helpful.

Where's My Stuff?

Delivery and Returns

Need Help?