DSpace Repository

forall x, version 1.24

Show simple item record

dc.contributor.author Magnus, P.D.
dc.date.accessioned 2008-01-09T22:57:29Z
dc.date.available 2008-01-09T22:57:29Z
dc.date.issued 2008-01-09T22:57:29Z
dc.identifier.uri http://hdl.handle.net/1951/42928
dc.description This is may be old version of the text. The current version is available at http://www.fecundity.com/logic en
dc.description.abstract 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. en
dc.format.extent 103880 bytes
dc.format.extent 604567 bytes
dc.format.mimetype application/x-tex
dc.format.mimetype application/pdf
dc.language.iso en_US en
dc.title forall x, version 1.24 en
dc.type Book en


Files in this item

forallx080109.pdf 590.3Kb View/Open complete book forallx080109.tgz 101.4Kb View/Open LaTeX source

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account