|
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/44818
|
| Title: | forall x, version 1.27 |
| Authors: | Magnus, P.D. |
| Keywords: | logic textbook |
| Issue Date: | 5-Jun-2009 |
| 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/44818 |
| Appears in Collections: | Publications |
Files in This Item:
|
This item is licensed under a Creative Commons License
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.