| Name | Last modified | Size | Description | |
|---|---|---|---|---|
| Parent Directory | - | |||
| 341 Examples/ | 2003-10-27 15:45 | - | ||
| 341_Syl_Fall_2011.doc | 2011-07-18 17:15 | 43K | ||
| Assignment 7.docx | 2011-11-22 00:07 | 13K | ||
| Boole - Old Version.EXE | 2011-09-28 21:55 | 633K | ||
| Greek Theory of Truth.doc | 2009-04-02 08:22 | 1.4M | ||
| Informal_Proofs.pdf | 2003-10-27 15:39 | 55K | ||
| LPL software manual.pdf | 2011-09-21 11:39 | 1.3M | ||
| LPL textbook.pdf | 2011-09-21 11:41 | 2.5M | ||
| Notes on Chapter 2 Informal Proof .pdf | 2008-10-02 11:34 | 16K | ||
| Notes on First-Order Model Theory (Chapt 18) 2011.pdf | 2011-11-14 18:55 | 193K | ||
| Notes on Normal Forms.pdf | 2004-04-13 05:04 | 83K | ||
| Notes on Truth-Functionality.pdf | 2004-04-21 20:58 | 84K | ||
| Notes on the Interpretation of First-Order Logic.pdf | 2005-11-14 19:50 | 1.7M | ||
| Sample Final Exam.DOC | 2011-12-01 07:45 | 108K | ||
| Sample Midterm.doc | 2000-01-31 05:42 | 50K | ||
| Sentential Equivalences.pdf | 2005-04-04 21:20 | 24K | ||
| Square_of_Opposition_Revised.pdf | 2003-08-20 17:24 | 26K | ||