DSpace Repository

forall x, version 1.29

Show simple item record

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

Files in this item

forallx120106.pdf 620.7Kb View/Open complete book forallx120106.zip 113.8Kb View/Open archive of LaTeX source

The following license files are associated with this item:

This item appears in the following Collection(s)

Show simple item record

Search DSpace


My Account