![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| truthtables.pdf | 2004-02-02 18:09 | 34K | |
| translate.pdf | 2004-04-24 15:02 | 64K | |
| soundness_and_completeness.pdf | 2004-05-11 20:17 | 50K | |
| semantics2.pdf | 2004-04-17 09:01 | 80K | |
| semantics.pdf | 2004-04-01 11:40 | 101K | |
| sample.pdf | 2004-04-17 11:43 | 65K | |
| readme | 2004-04-10 09:51 | 430 | |
| prenex.pdf | 2004-05-13 10:07 | 62K | |
| midterm-practice.pdf | 2004-03-04 08:23 | 71K | |
| lecture0203.pdf | 2004-02-03 14:08 | 124K | |
| hw9.pdf | 2004-05-06 16:56 | 68K | |
| hw8.pdf | 2004-04-15 14:38 | 63K | |
| hw7.pdf | 2004-04-10 09:14 | 72K | |
| hw6.pdf | 2004-03-25 12:50 | 58K | |
| hw5.pdf | 2004-03-08 17:46 | 62K | |
| hw4.pdf | 2004-03-02 11:23 | 69K | |
| hw3-part-B.pdf | 2004-02-19 14:06 | 61K | |
| hw3-part-A.pdf | 2004-02-17 14:58 | 67K | |
| hw2.pdf | 2004-02-10 12:23 | 68K | |
| hw1.pdf | 2004-02-02 18:00 | 70K | |
| final-practice.pdf | 2004-05-03 13:08 | 72K | |
| equivalences.pdf | 2004-04-14 08:54 | 63K | |
| algorithms.doc | 2004-05-13 09:58 | 35K | |