Gentzen's consistency proof without heightlines

Annika Siders. Gentzen's consistency proof without heightlines. Arch. Math. Log., 52(3-4):449-468, 2013. [doi]

No reviews for this publication, yet.