Natural deduction
Jon Barwise and John Etchemendy, 2000. Language, proof and logic. CSLI (University of Chicago Press) and New York: Seven Bridges Press. A gentle introduction to first-order logic via natural deduction, by two first rate logicians.