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.
Author: Zhongwan Lu. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. Title: Mathematical Logic For Computer Science (2nd Edition).
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.