When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.
"This text is based on a course to undergraduates and gives a clear and accessible introduction to mathematical logic. The first chapter considers propositional calculus; then Boolean algebras follow; Chapter 3 covers predicate calculus and this is followed by completeness theorems.
When you click on links to various merchants on this site and make a purchase, this can result in this site earning a commission. Affiliate programs and affiliations include, but are not limited to, the eBay Partner Network.