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