Download Full Text (595 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.