|
Home |
| Browse | |
|
|
Communities & Collections |
|
|
Issue Date |
|
|
Author |
|
|
Title |
|
|
Subject |
| Sign on to: | |
|
|
Receive email updates |
|
|
My DSpace authorized users |
|
|
Edit Profile |
DSpace at SUNY >
University at Albany >
Philosophy Department >
Publications >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1951/36207
|
| Title: | forall x, version 1.11 |
| Authors: | Magnus, P.D. |
| Keywords: | logic textbook |
| Issue Date: | 24-Jan-2006 |
| Citation: | P.D. Magnus (2006) forall x: an introduction to formal logic, version 1.11 [060124]. URL=http://www.fecundity.com/logic/ |
| 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 |
| URI: | http://hdl.handle.net/1951/36207 |
| Appears in Collections: | Publications |
Files in This Item:
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.