Logic and Philosophy: A Modern Introduction
"The book develops formal logic rigorously, but with an approach that students will find clear and accessible, especially with respect to the explanations of key concepts and the featured "walk-throughs" of proof techniques, etc.""I would describe the book as a 'real logic book that is about as accessible as it gets."