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