Pages that link to "Item:Q4897040"
From MaRDI portal
The following pages link to Pure Proof Theory Aims, Methods and Results: Extended Version of Talks Given at Oberwolfach and Haifa (Q4897040):
Displaying 7 items.
- Advances in proof theory. Proceedings of the symposium, on the occasion of the 60th birthday of Gerhard Jäger, Bern, Switzerland, December 13--14, 2013 (Q261483) (← links)
- Gödel's incompleteness theorems. On the occasion of Kurt Gödel's 100th anniversary on April 28, 2006 (Q873911) (← links)
- Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31--November 1, 1997 (Q1613672) (← links)
- Proof theory for theories of ordinals. II: \(\Pi_{3}\)-reflection (Q1887655) (← links)
- How is it that infinitary methods can be applied to finitary mathematics? Gödel's <i>T</i>: a case study (Q4254685) (← links)
- On the Performance of Axiom Systems (Q5055280) (← links)
- Normal forms for elementary patterns (Q5388725) (← links)
