Forall X: An Introduction to Formal Logic, version 1.28

Authors

P.D. Magnus, University at Albany, State University of New YorkFollow

Files

Description

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

Publication Date

5-20-2010

Keywords

textbook, logic

Disciplines

Logic and Foundations of Mathematics | Philosophy

Comments

This is may be old version of the text. The current version is available at http://www.fecundity.com/logic

Recommended Citation

Magnus, P.D., "Forall X: An Introduction to Formal Logic, version 1.28" (2010). Philosophy Faculty Books. 2.
https://scholarsarchive.library.albany.edu/cas_philosophy_scholar_books/2