Download Full Text (582 KB)
This is a textbook covering translation, formal semantics, and proof theory for both sentential logic and quantified logic. Each chapter contains practice exercises; solutions to selected exercises appear in an appendix
Logic and Foundations of Mathematics | Philosophy
Magnus, P.D., "Forall X: An Introduction to Formal Logic, version 1.28" (2010). Philosophy Faculty Books. 2.
This is may be old version of the text. The current version is available at http://www.fecundity.com/logic