forall x, version 1.29

dc.contributor.author	Magnus, P.D.
dc.date.accessioned	2012-01-16T20:12:46Z
dc.date.available	2012-01-16T20:12:46Z
dc.date.issued	2012-01-06
dc.identifier.uri	http://hdl.handle.net/1951/52561
dc.description	This may be old version of the text. The current version is available at http://www.fecundity.com/logic	en_US
dc.description.abstract	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.	en_US
dc.language.iso	en_US	en_US
dc.subject	logic, text book	en_US
dc.title	forall x, version 1.29	en_US
dc.type	Book	en_US