Page history
12 January 2016
26 September 2014
13 March 2014
21 January 2014
25 October 2013
3 June 2013
5 May 2012
4 September 2009
17 May 2009
3 March 2009
→Structural proof theory: tighten
+42
Rearrange, copyedit, rm stub tag. Links in headings are disfavored I think
−7
→Structural proof theory: wfy
m+4
+Bolzano, basis of structural proof theory
+984
→References: subst
m−61
→References: +SEP Bolzano's logic
+205