|
Home |
| Browse | |
|
|
Communities & Collections |
|
|
Titles |
|
|
Authors |
|
|
Subjects |
|
|
By Date |
| Sign on to: | |
|
|
Receive email updates |
|
|
My DSpace authorized users |
|
|
Edit Profile |
|
|
|
|
|
About DSpace |
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/42928
|
| Title: | forall x, version 1.24 |
| Authors: | Magnus, P.D. |
| Issue Date: | 9-Jan-2008 |
| 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 |
| Appears in Collections: | Publications |
Files in This Item:
|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.