forall x, version 1.27

Loading...
Thumbnail Image
Authors
Magnus, P.D.
Issue Date
2009-06-05T04:37:52Z
Type
Book
Language
en_US
Keywords
logic , textbook
Research Projects
Organizational Units
Journal Issue
Alternative Title
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
Citation
Publisher
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
EISSN
Collections