textbook – Diversity Reading List

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.

Categories: Classical Logic, General Works in Logic, Introductions to Logic, Logic, Logic and Philosophy of Logic, Science, Logic & Mathematics

Keywords: computer science, introduction, logic, logical reasoning, textbook

Expand entry

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.

Difficulty: Easy

Recommended use: Introductory textbook

Comments (0): read and add advice on using this text

Can’t find it?

Contribute the texts you think should be here and we’ll add them soon!