Propositional and Predicate Calculus
Book Details
Format
Paperback / Softback
ISBN-10
1852339217
ISBN-13
9781852339210
Publisher
Springer London Ltd
Imprint
Springer London Ltd
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Sep 8th, 2005
Print length
315 Pages
Weight
632 grams
Dimensions
19.10 x 24.60 x 1.90 cms
Product Classification:
Mathematical logic
Ksh 11,150.00
Werezi Extended Catalogue
Delivery in 14 days
1 copies in stock
Delivery Location
Delivery fee: Select location
Delivery in 14 days
Secure
Quality
Fast
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;
Designed specifically for guided independent study.
Features a wealth of worked examples and exercises, many with full teaching solutions, that encourage active participation in the development of the material.
It focuses on core material and provides a solid foundation for further study.
Get Propositional and Predicate Calculus by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer London Ltd and it has pages.
