Pages that link to "Item:Q263923"
From MaRDI portal
The following pages link to Concepts of proof in mathematics, philosophy, and computer science. Based on the Humboldt-Kolleg, Bern, Switzerland, September 9--13, 2013 (Q263923):
Displaying 6 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)
- Proof theory. History and philosophical significance. Papers from the conference, Roskilde, Denmark, October 31--November 1, 1997 (Q1613672) (← links)
- Triposes, exact completions, and Hilbert's \(\varepsilon\)-operator (Q1683372) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Cut elimination for entailment relations (Q2312091) (← links)
- Théories géométriques pour l’algèbre des nombres réels (Q4635369) (← links)