Browse by Journal and Volume
Up a level |
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.
Up a level |
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.