[Back]


Contributions to Books:
A. Leitsch et al.:
"On Proof Mining by Cut-Elimination";
in: "All about Proofs, Proofs for All", 55; B. Woltzenlogel-Paleo et al. (ed.); College Publications, 2015, ISBN: 978-1-84890-166-7, 173 - 200.

Created from the Publication Database of the Vienna University of Technology.