| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| Example_FOL_Axiom_System.pdf | 2003-10-27 15:45 | 66K | ||
| Examples_TC_&_Validity_Metatheorems.pdf | 2003-12-01 11:32 | 104K | ||
| Examples_of_Taut_FOL_Analytic_Consequence.pdf | 2003-09-26 22:29 | 112K | ||
| Fitch Proofs/ | 2000-10-13 19:20 | - | ||