First-Order Logic: An Introduction

An introduction to elementary logic, the practice of formal reasoning. This text is designed to help the reader to reason systematically, reliably, and to some extent self-consciously, in the course of their ordinary pursuits.