![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/dvi.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| CE-provability-logics-2019-Feb-17.dvi | 2019-02-19 12:04 | 35K | |
| CE-provability-logics-2019-Feb-17.pdf | 2019-02-19 12:04 | 98K | |
| CE-provability-logics-2019-Feb-17.tex | 2019-02-19 11:50 | 27K | |
| dawson-gore-wu.bib | 2015-06-01 12:50 | 32K | |
| extra.tex | 2014-12-09 18:18 | 6.1K | |
| formalisedprooftheory.dvi | 2016-02-11 13:41 | 248K | |
| formalisedprooftheory.old.dvi | 2015-02-10 14:58 | 187K | |
| formalisedprooftheory.old.tex | 2015-01-22 15:16 | 170K | |
| formalisedprooftheory.pdf | 2015-06-01 12:50 | 473K | |
| formalisedprooftheory.tex | 2015-06-01 12:50 | 247K | |
| fpt-from-s11.dvi | 2015-03-13 11:08 | 148K | |
| fpt-from-s11.tex | 2015-03-13 16:43 | 147K | |
| gls.tex | 2014-11-17 16:34 | 20K | |
| gtd.tex | 2014-12-24 11:53 | 42K | |
| jaegerfest.bib | 2015-05-19 13:00 | 32K | |
| jesse-intro.tex | 2014-11-17 18:04 | 11K | |
| jesse.dvi | 2014-11-17 17:14 | 84K | |
| jesse.tex | 2014-11-17 17:14 | 1.5K | |
| mints.dvi | 2014-11-17 16:52 | 74K | |
| mints.tex | 2014-11-17 15:57 | 1.4K | |
| orig-formalisedprooftheory.dvi | 2015-02-10 14:20 | 225K | |
| orig-formalisedprooftheory.tex | 2014-12-24 12:02 | 121K | |
| refs.tex | 2014-11-17 16:34 | 4.9K | |
| rev-formalisedprooftheory.dvi | 2015-02-10 14:20 | 276K | |
| rev-formalisedprooftheory.tex | 2015-01-13 11:25 | 121K | |
| s4.tex | 2014-11-17 17:16 | 18K | |
| s4c.tex | 2014-12-28 22:03 | 14K | |
| s4cns.tex | 2014-12-28 22:53 | 20K | |
| s43.tex | 2014-11-17 17:16 | 28K | |