Show simple item record

dc.contributor.authorMagnus, P.D.
dc.date.accessioned2006-12-01T02:36:29Z
dc.date.available2006-12-01T02:36:29Z
dc.date.issued2006-01-24
dc.identifier.citationP.D. Magnus (2006) forall x: an introduction to formal logic, version 1.11 [060124]. URL=http://www.fecundity.com/logic/en
dc.identifier.urihttp://hdl.handle.net/1951/36207
dc.descriptionThis is an old version of the text, available for archival purposes. The current version is available at http://www.fecundity.com/logicen
dc.description.abstractIn 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.extent584156 bytes
dc.format.mimetypeapplication/pdf
dc.language.isoen_USen
dc.subjectlogicen
dc.subjecttextbooken
dc.titleforall x, version 1.11en
dc.typeBooken


Files in this item

Thumbnail

This item appears in the following Collection(s)

Show simple item record