![[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-07-29 14:07 | 1.4M | |
| ST05-Quantifiers.pdf | 2016-07-29 14:07 | 1.0M | |
| ST03-TypeTheory.pdf | 2016-07-29 14:07 | 746K | |
| ST12-Current_Issues.pdf | 2016-07-29 14:07 | 606K | |
| ST07-Events.pdf | 2016-07-29 14:07 | 542K | |
| ST09-Dynamic.pdf | 2016-07-29 14:07 | 467K | |
| ST11-Presuppositions.pdf | 2016-07-29 14:07 | 276K | |
| ST10-DRT_PtII.pdf | 2016-07-29 14:07 | 207K | |
| ST02-PredicateLogic.pdf | 2016-07-29 14:07 | 148K | |
| ST08-Plurals.pdf | 2016-07-29 14:07 | 135K | |
| ST09-DRT_PtI.pdf | 2016-07-29 14:07 | 112K | |
| ST04-LambdaCalc.pdf | 2016-07-29 14:07 | 96K | |