Logic
A Concise Introduction To Logic
This text covers all of the standard topics for any introductory logic course. The material is integrated in such a way that elements fit together as in a puzzle so students can assemble a broad picture of the subject. Visual aids and colour are used to reinforce key points and concepts. Additionally, key terms... »
Handbook of Practical Logic and Automated Reasoning
The sheer complexity of computer systems has meant that automated reasoning, i.e. the ability of computers to perform logical inference, has become a vital component of program construction and of programming language design. This book meets the demand for a self-contained and broad-based account of the concepts, the machinery and the use of... »