forall x, version 1.24

Thumbnail

Date
2008-01-09
Author
Magnus, P.D.
Metadata
Show full item record
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.
Description
This is may be old version of the text. The current version is available at http://www.fecundity.com/logic
URI
http://hdl.handle.net/1951/42928
Collections