Browse by Journal and Volume

Jump to: S
Number of items: 1.
S
Steinberger, Florian (2013) On the equivalence conjecture for proof-theoretic harmony. Notre Dame Journal of Formal Logic 54 (1), pp. 79-86. ISSN 0029-4527.
Steinberger, Florian (2013) On the equivalence conjecture for proof-theoretic harmony. Notre Dame Journal of Formal Logic 54 (1), pp. 79-86. ISSN 0029-4527.