Mathematical Logic for Computer Science (Second Edition)

Author: Lu Zhongwan
Publisher:
Publish Date: 2002-01-01
Features: "Mathematical Logic for Computer Science" is aimed at college and university computer science students, as well as researchers. The book covers fundamental topics in mathematical logic that are closely related to and interconnected with computer science, including classical logic, constructive logic, and modal logic in non-classical logic. When selecting materials, the book considers the characteristics of logical systems and adapts to the needs of computer science. It explores the background, language, semantics, formal deduction, and issues of reliability and completeness of various logics. Most chapters include exercises.
Target Audience: College and university computer science students, researchers.