Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
s43.tex | 17-Nov-2014 17:16 | 28K | ||
s4cns.tex | 28-Dec-2014 22:53 | 20K | ||
s4c.tex | 28-Dec-2014 22:03 | 14K | ||
s4.tex | 17-Nov-2014 17:16 | 18K | ||
rev-formalisedprooftheory.tex | 13-Jan-2015 11:25 | 121K | ||
rev-formalisedprooftheory.dvi | 10-Feb-2015 14:20 | 276K | ||
refs.tex | 17-Nov-2014 16:34 | 4.9K | ||
orig-formalisedprooftheory.tex | 24-Dec-2014 12:02 | 121K | ||
orig-formalisedprooftheory.dvi | 10-Feb-2015 14:20 | 225K | ||
mints.tex | 17-Nov-2014 15:57 | 1.4K | ||
mints.dvi | 17-Nov-2014 16:52 | 74K | ||
jesse.tex | 17-Nov-2014 17:14 | 1.5K | ||
jesse.dvi | 17-Nov-2014 17:14 | 84K | ||
jesse-intro.tex | 17-Nov-2014 18:04 | 11K | ||
jaegerfest.bib | 19-May-2015 13:00 | 32K | ||
gtd.tex | 24-Dec-2014 11:53 | 42K | ||
gls.tex | 17-Nov-2014 16:34 | 20K | ||
fpt-from-s11.tex | 13-Mar-2015 16:43 | 147K | ||
fpt-from-s11.dvi | 13-Mar-2015 11:08 | 148K | ||
formalisedprooftheory.tex | 01-Jun-2015 12:50 | 247K | ||
formalisedprooftheory.pdf | 01-Jun-2015 12:50 | 473K | ||
formalisedprooftheory.old.tex | 22-Jan-2015 15:16 | 170K | ||
formalisedprooftheory.old.dvi | 10-Feb-2015 14:58 | 187K | ||
formalisedprooftheory.dvi | 11-Feb-2016 13:41 | 248K | ||
extra.tex | 09-Dec-2014 18:18 | 6.1K | ||
dawson-gore-wu.bib | 01-Jun-2015 12:50 | 32K | ||
CE-provability-logics-2019-Feb-17.tex | 19-Feb-2019 11:50 | 27K | ||
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 | ||