SUNY

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:

File Description SizeFormat
forallx080109.tgzLaTeX source101.45 kBTeXView/Open
forallx080109.pdfcomplete book590.4 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.