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.
By Moshe Machover, Moshoe Machover. Author Moshoe Machover. For students of mathematics and philosophy, this book provides an excellent introduction to logic and set theory. This is followed by a presentation of propositional and first-order logic, and the author proves and explains the limitative results of Skolem, Tarski, Church and G.
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.