| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Martin TT uncompleted (Chapt 3).tt | 2011-09-28 22:06 | 1.4K | ||
| Martin TT completed (Chapt 3).tt | 2011-09-28 22:06 | 2.1K | ||
| Martin's World (Chapt 3).wld | 2011-09-28 22:08 | 175 | ||
| Martin's Sentences (Chapt 3) 1.sen | 2011-09-28 22:08 | 368 | ||
| Martin's Sentences (Chapt 3).sen | 2011-09-28 22:07 | 368 | ||
| Fitch Proofs/ | 2000-10-13 19:20 | - | ||
| Examples_of_Taut_FOL_Analytic_Consequence.pdf | 2003-09-26 22:29 | 112K | ||
| Examples_TC_&_Validity_Metatheorems.pdf | 2003-12-01 11:32 | 104K | ||
| Example_FOL_Axiom_System.pdf | 2003-10-27 15:45 | 66K | ||
| Boolean Algebras.bmp | 2002-01-18 09:56 | 951K | ||
| Argument Blitz.pdf | 2006-02-20 18:04 | 45K | ||
| Argument Blitz.doc | 2006-02-20 18:02 | 1.3M | ||
| Algebra of Light.bmp | 1998-07-31 13:23 | 470K | ||
