![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ST01-Introduction.pdf | 2016-03-11 13:59 | 3.1M | |
| ST02-Predicate_Logic_PtI.pdf | 2016-03-11 13:59 | 272K | |
| ST02-Predicate_Logic_PtII.pdf | 2016-03-11 13:59 | 75K | |
| ST03-Type_Theory_PtI.pdf | 2016-03-11 13:59 | 1.0M | |
| ST03-Type_Theory_PtII.pdf | 2016-03-11 13:59 | 310K | |
| ST04-LambdaCalc.pdf | 2016-03-11 13:59 | 75K | |
| ST05-Quantifiers_PtI.pdf | 2016-03-11 13:59 | 831K | |
| ST05-Quantifiers_PtII.pdf | 2016-03-11 13:59 | 354K | |
| ST06-Events&Roles.pdf | 2016-03-11 13:59 | 631K | |
| ST06-Events.pdf | 2016-03-11 13:59 | 237K | |
| ST07-Exercises.pdf | 2016-03-11 13:59 | 42K | |
| ST07-Plurals.pdf | 2016-03-11 13:59 | 147K | |
| ST08-DRT_PtI.pdf | 2016-03-11 13:59 | 126K | |
| ST08-Dynamic.pdf | 2016-03-11 13:59 | 1.6M | |
| ST09-DRT_PtII.pdf | 2016-03-11 13:59 | 213K | |
| ST10-Presuppositions.pdf | 2016-03-11 13:59 | 173K | |
| ST10-PresuppositionsInDRT.pdf | 2016-03-11 13:59 | 209K | |
| ST11-PDRT.pdf | 2016-03-11 13:59 | 241K | |
| ST12-Current_Issues.pdf | 2016-03-11 13:59 | 2.3M | |