![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/a.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Lecture1.ps | 2004-10-12 15:48 | 130K | |
| Lecture1.pdf | 2004-10-12 15:49 | 116K | |
| Lecture2.ps | 2004-10-19 09:36 | 139K | |
| Lecture2.pdf | 2004-10-19 12:29 | 109K | |
| scsc.pdf | 2004-10-19 12:48 | 283K | |
| scsc.ps | 2004-10-19 13:05 | 2.1M | |
| lecture03b.pdf | 2004-10-25 17:26 | 97K | |
| basic-lang.ps | 2004-10-25 17:29 | 827K | |
| lecture03b.ps | 2004-10-26 10:41 | 4.9M | |
| exercise1.pvs | 2005-11-09 19:26 | 652 | |
| sequent4.pvs | 2005-11-09 19:27 | 151 | |
| ResolutionTheoremProvingForFOL.ps | 2005-11-14 21:43 | 170K | |
| basic-lang.pdf | 2006-10-26 20:24 | 428K | |
| assignment/ | 2008-09-30 14:50 | - | |
| exercises/ | 2008-09-30 14:50 | - | |
| handouts/ | 2008-09-30 14:50 | - | |
| solutions/ | 2008-09-30 14:50 | - | |
| _vti_cnf/ | 2008-09-30 14:50 | - | |