![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| ST12-Current_Issues.pdf | 2019-05-06 09:31 | 397K | |
| ST11-Neural.pdf | 2019-05-06 09:31 | 13M | |
| ST10-Presuppositions.pdf | 2019-05-06 09:31 | 455K | |
| ST09-DRT.pdf | 2019-05-06 09:31 | 221K | |
| ST08-Dynamic.pdf | 2019-05-06 09:31 | 417K | |
| ST07-Events.pdf | 2019-05-06 09:31 | 667K | |
| ST06-Quantifiers.pdf | 2019-05-06 09:31 | 921K | |
| ST05-Lambda_Calculus.pdf | 2019-05-06 09:31 | 97K | |
| ST03-Type_Theory.pdf | 2019-05-06 09:31 | 656K | |
| ST02-Predicate_Logic.pdf | 2019-05-06 09:31 | 141K | |
| ST01-Introduction.pdf | 2019-05-06 09:31 | 1.4M | |