Textbooks
http://hdl.handle.net/1951/25983
Tue, 31 Jan 2023 04:33:29 GMT2023-01-31T04:33:29Zforall x, version 1.29
http://hdl.handle.net/1951/52561
forall x, version 1.29
Magnus, P.D.
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 covers 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.
This may be old version of the text. The current version is available at http://www.fecundity.com/logic
Fri, 06 Jan 2012 00:00:00 GMThttp://hdl.handle.net/1951/525612012-01-06T00:00:00Zforall x, version 1.28
http://hdl.handle.net/1951/47688
forall x, version 1.28
Magnus, P.D.
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.
This is may be old version of the text. The current version is available at http://www.fecundity.com/logic
Thu, 20 May 2010 20:55:04 GMThttp://hdl.handle.net/1951/476882010-05-20T20:55:04Zforall x, version 1.27
http://hdl.handle.net/1951/44818
forall x, version 1.27
Magnus, P.D.
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.
This is may be old version of the text. The current version is available at http://www.fecundity.com/logic
Fri, 05 Jun 2009 04:37:52 GMThttp://hdl.handle.net/1951/448182009-06-05T04:37:52Zforall x, version 1.24
http://hdl.handle.net/1951/42928
forall x, version 1.24
Magnus, P.D.
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.
This is may be old version of the text. The current version is available at http://www.fecundity.com/logic
Wed, 09 Jan 2008 22:57:29 GMThttp://hdl.handle.net/1951/429282008-01-09T22:57:29Z