Logic through a computer-science lens
Faster options are available.
Rates and delivery estimates depend on your destination and item quantity. Estimates are informational only; the final shipping method and rate are selected at checkout.
Logic through a computer-science lens
This second edition surveys classical, constructive, and modal logic, emphasizing connections among these systems and their relevance to computer science. Its stated aim is to address both the distinctive features of logical systems and the needs of computing. The edition also revises proofs, expands explanations, and adopts updated terminology and notation, giving the presentation a more explanatory and technically refreshed structure. At 244 pages, it offers a focused treatment of mathematical logic at the intersection of formal reasoning and computer science.
Based on publisher information and book metadata.
Mathematical logic is essentially related to computer science. This book describes the aspects of mathematical logic that are closely related to each other, including classical logic, constructive logic, and modal logic. This book is intended to attend to both the peculiarities of logical systems and the requirements of computer science.
In this edition, the revisions essentially involve rewriting the proofs, increasing the explanations, and adopting new terms and notations.
In-stock items normally dispatch within 1–2 business days. The ZIP-code estimator on this page is informational only; the final shipping method, price, and availability are confirmed at checkout for your full order.
For the initial delivery estimate we use these transit windows after dispatch: Standard 5–8 business days, Expedited 2–4 business days, and Priority 1–2 business days. Holiday delays are not included.
Eligible items can be returned within 30 days in accordance with our return policy.
