Mathematical logic for computer science

Author: Lu Zhongwan
Publisher:
Publish Date: 2004-03-01
Features: This book presents fundamental content in mathematical logic closely related to computer science, including constructive logic and modal logic in both classical and non-classical logic. When selecting materials, the book considers the characteristics of logical systems and adapts to the requirements of computer science. It explores the background, language, semantics, formal deduction, as well as reliability and completeness of various logics. Most chapters include exercises. Target Audience: Faculty and students of computer science at universities, as well as researchers.