![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| stronglogics.pdf | 2010-06-01 10:32 | 1.9M | |
| ModelsAndGames_short..> | 2010-09-07 17:22 | 1.3M | |
| On.orderings.pdf | 2010-05-01 12:32 | 913K | |
| CourseLindThm2010.L4..> | 2010-05-17 13:31 | 644K | |
| CraigPaperFinal.pdf | 2010-05-01 12:21 | 438K | |
| vanBenthem.tenCate.V..> | 2010-05-01 12:26 | 409K | |
| qf_final.pdf | 2010-05-01 12:28 | 402K | |
| CourseLindThm2010.L2..> | 2010-05-17 13:31 | 364K | |
| CourseLindThm2010.L3..> | 2010-05-17 13:31 | 344K | |
| CourseLindThm2010.L1..> | 2010-05-14 11:30 | 296K | |
| sem_inform_indep.pdf | 2010-07-25 16:57 | 268K | |
| CourseLindThm2010.L5..> | 2010-05-18 13:02 | 239K | |
| lindstrom_theorem1.pdf | 2016-04-28 17:20 | 232K | |
| unilog2005_proofs.pdf | 2010-05-01 12:27 | 204K | |
| beatcs.pdf | 2010-05-01 12:31 | 196K | |
| barwise.pdf | 2010-05-01 12:27 | 173K | |
| 67.pdf | 2010-05-01 12:30 | 144K | |
| Pelle.pdf | 2010-04-26 16:17 | 107K | |
| CourseLindThmFall201..> | 2010-11-11 18:49 | 99K | |
| LTpic4.pdf | 2010-05-13 13:37 | 91K | |
| LTpic3.pdf | 2010-05-13 13:36 | 88K | |
| LTpic1.pdf | 2010-05-13 13:36 | 68K | |
| LTpic2.pdf | 2010-05-13 13:36 | 65K | |
| LTpic5.pdf | 2010-05-14 11:30 | 55K | |
| jouko.vaananen.pdf | 2010-05-26 10:59 | 6.3K | |
| jouko.vaananen.gif | 2010-05-26 11:16 | 2.1K | |
