forall x, version 1.24

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