Algebraic methods in philosophical logic / J.Michael Dunn and Gary M. Hardegree.
Material type: TextSeries: Oxford logic guides ; 41Publication details: Oxford ; New York : Oxford University Press, 2001Description: xv, 470 p. : illISBN: 0198531923Subject(s): Algebraic logicLOC classification: QA10 | .D85 2001Online resources: Click here to access online | Click here to access onlineItem type | Current library | Collection | Call number | Status | Notes | Date due | Barcode |
---|---|---|---|---|---|---|---|
Books | Main Campus General Collection | General collection | QA10 .D85 2001 (Browse shelf(Opens below)) | Available | CN | 12973 |
Browsing Main Campus shelves, Shelving location: General Collection, Collection: General collection Close shelf browser (Hides shelf browser)
QA9.54 .U54 1992 Normalization, cut-elimination, and the theory of proofs | QA9.54 .W35 1990 Automated proof search in non-classical logics : | QA9.56 .K73 1995 Bounded arithmetic, propositional logic, and complexity theory / | QA10 .D85 2001 Algebraic methods in philosophical logic / | QA11 .C23 1992 Teaching mathematics in secondary and middle school : | QA11 .C655 1999 Connecting mathematics and science to workplace contexts : | QA11 .H84 2000 Teaching mathematics for the 21st century : methods and activities for grades 6-12 |
Includes index
There are no comments on this title.