### Recent Submissions

• #### forall x, version 1.29 ﻿

(2012-01-06)
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...
• #### forall x, version 1.28 ﻿

(2010-05-20)
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.
• #### forall x, version 1.27 ﻿

(2009-06-05)
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.
• #### forall x, version 1.24 ﻿

(2008-01-09)
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.
• #### forall x, version 1.23 ﻿

(2007-05-12)
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...
• #### forall x, version 1.22 ﻿

(2007-03-31)
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...
• #### forall x, version 1.21 ﻿

(2007-01-13)
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...
• #### forall x, version 1.20 ﻿

(2006-07-10)
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...
• #### forall x, version 1.11 ﻿

(2006-01-24)
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...