SUNY Digital Repository

forall x, version 1.28

DSpace/Manakin Repository

forall x, version 1.28

Magnus, P.D.
URI: http://hdl.handle.net/1951/47688
Date: 2010-05-20

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

Show full item record

Files in this item

forallx100520.pdf 542.0Kb View/Open complete text forallx100520.tgz 109.7Kb View/Open LaTeX source

The following license files are associated with this item:

This item appears in the following Collection(s)

Search DSpace


Advanced Search

Browse

My Account