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 Anita Wasilewska. Author Anita Wasilewska. The theory of computation is based on concepts defined by logicians and mathematicians. They are followed by strict formal approach chapters. While many logic books are available, they were written by logicians for logicians, not for computer scientists.
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.