Files

Download

Download Full Text (595 KB)

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

Forall X: An Introduction to Formal Logic, version 1.28

Share

COinS