| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Abstract Structures in the Semantics of Classical and Intuitionistic Logic.pdf | 2006-04-19 19:34 | 1.0M | ||
| Introduction to Metalogic Version March 9 2012.pdf | 2012-03-09 19:02 | 1.9M | ||
| Lecture Schedule Part I.docx | 2012-01-02 21:29 | 10K | ||
| Logic for Liberal Arts Students/ | 2009-02-14 20:19 | - | ||
| Martin & Franco - History of Satisfiability.pdf | 2007-08-18 00:28 | 600K | ||
| Martin - Alternative Semantics for Propositional Logic - EFS Chpt 7.pdf | 2009-04-30 07:29 | 2.1M | ||
| Modern Analysis of the Infinite.pdf | 2004-11-13 19:04 | 785K | ||
| Notes on Aristotles Modal Syllogistic.pdf | 2001-10-14 08:35 | 71K | ||
| Notes on Naive Set Theory.pdf | 2012-01-14 18:18 | 64K | ||