[Back]


Contributions to Books:

C. Fermüller:
"Connecting Sequent Calculi with Lorenzen-Style Dialogue Games";
accepted for publication in: "Paul Lorenzen - Mathematician and Logician", Springer, 2021, 13 - 39.


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