DSpace Repository

forall x, version 1.11

Show simple item record

dc.contributor.author Magnus, P.D.
dc.date.accessioned 2006-12-01T02:36:29Z
dc.date.available 2006-12-01T02:36:29Z
dc.date.issued 2006-01-24
dc.identifier.citation P.D. Magnus (2006) forall x: an introduction to formal logic, version 1.11 [060124]. URL=http://www.fecundity.com/logic/ en
dc.identifier.uri http://hdl.handle.net/1951/36207
dc.description This is an old version of the text, available for archival purposes. The current version is available at http://www.fecundity.com/logic en
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
dc.format.extent 584156 bytes
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.subject logic en
dc.subject textbook en
dc.title forall x, version 1.11 en
dc.type Book en


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account