forall x, version 1.27
MetadataShow full item record
AbstractThis 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.
DescriptionThis is may be old version of the text. The current version is available at http://www.fecundity.com/logic
- Textbooks 
The following license files are associated with this item: