![[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 | 2017-08-16 13:12 | 1.3M | |
| ST02-Predicate_Logic.pdf | 2017-08-16 13:12 | 192K | |
| ST03-Type_Theory.pdf | 2017-08-16 13:12 | 659K | |
| ST04-LambdaCalculus.pdf | 2017-08-16 13:12 | 119K | |
| ST05-Quantifiers.pdf | 2017-08-16 13:12 | 920K | |
| ST07-Events.pdf | 2017-08-16 13:12 | 662K | |
| ST08-2-DRT.pdf | 2017-08-16 13:12 | 218K | |
| ST08-Dynamic.pdf | 2017-08-16 13:12 | 431K | |
| ST10-Presuppositions-PtI.pdf | 2017-08-16 13:12 | 341K | |
| ST11-Julia.pdf | 2017-08-16 13:12 | 1.9M | |
| ST11-Presuppositions-PtII.pdf | 2017-08-16 13:12 | 331K | |
| ST12-DSS.pdf | 2017-08-16 13:12 | 5.0M | |
| ST13-Current_Issues.pdf | 2017-08-16 13:12 | 1.0M | |