LIMITED OFFER
Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
This book contains an introduction to symbolic logic and a thorough discussion of mechanical theorem proving and its applications. The book consists of three major parts. Chapters… Read more
LIMITED OFFER
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
CC
RL