forall x, version 1.11

Loading...
Thumbnail Image
Authors
Magnus, P.D.
Issue Date
2006-01-24
Type
Book
Language
en_US
Keywords
logic , textbook
Research Projects
Organizational Units
Journal Issue
Alternative Title
Abstract
In formal logic, sentences and arguments in English are translated into mathematical languages with well-defined properties. If all goes well, properties of the argument that were hard to discern become clearer. This book covers 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 an old version of the text, available for archival purposes. The current version is available at http://www.fecundity.com/logic
Citation
P.D. Magnus (2006) forall x: an introduction to formal logic, version 1.11 [060124]. URL=http://www.fecundity.com/logic/
Publisher
License
Journal
Volume
Issue
PubMed ID
DOI
ISSN
EISSN
Collections