Nederpelt, Rob, Fairouz Kamareddine. Logical reasoning: a first course
2004, Nederpelt, R. P. (Rob P. ) & Kamareddine, F. D. (2004) Logical reasoning: a first course. London: King’s College Publications.
Added by: Sophie Nagler, Contributed by: Sophie Nagler
Publisher’s Note:
| This book describes how logical reasoning works and puts it to the test in applications. It is self-contained and presupposes no more than elementary competence in mathematics. |
Comment: An introduction to sentential and first-order logic with a mixed philosophical and computational focus; rigorous presentation of the formalism interspersed with brief philosophical reflections on concepts, practical exercises, and pointers at technical 'real-world' applications.