Free Shipping to all UK customers for orders over £25.00

0 Total items on my wish-list.

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Free Shipping to all UK customers for orders over £25.00

Ryefieldbooks Logo

Ryefield Books

Contact Us
[email protected]
© Copyright Ryefield Books - All Right Reserved
Product Categories
My Shopping Cart
Void image

You shopping cart is empty

You may browse our offerings to locate what you're
searching for, then put it in your shopping cart.

Book cover image

Propositional and Predicate Calculus: A Model of Argument

Usually dispatched within 3 - 5 business days.

In Stock (270)

£ 65.99

Description

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;

Book Details
EAN:
9781852339210
Binding:
Paperback / softback
Dimensions(mm):
191 x 246 x 19
Publication Date:
2005-09-08
Publisher:
Publication Country:
United Kingdom