Textbooks
Recent Submissions

forall x, version 1.29
(20120106)In formal logic, sentences and arguments in English are translated into mathematical languages with welldefined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ... 
forall x, version 1.28
(20100520)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
(20090605)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
(20080109)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
(20070512)In formal logic, sentences and arguments in English are translated into mathematical languages with welldefined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ... 
forall x, version 1.22
(20070331)In formal logic, sentences and arguments in English are translated into mathematical languages with welldefined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ... 
forall x, version 1.21
(20070113)In formal logic, sentences and arguments in English are translated into mathematical languages with welldefined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ... 
forall x, version 1.20
(20060710)In formal logic, sentences and arguments in English are translated into mathematical languages with welldefined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ... 
forall x, version 1.11
(20060124)In formal logic, sentences and arguments in English are translated into mathematical languages with welldefined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book ...