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...
Logic
A Concise Introduction To Logic
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 automated...