Language, Proof and Logic A nice touch in this textbook is the appendix with useful formulas and tables.
