The Calculus of Higher-Level Rules, Propositional Quantification, and the Foundational Approach to Proof-Theoretic Harmony
Autor: | Schroeder-Heister, Peter |
---|---|
Zdroj: | Studia Logica: An International Journal for Symbolic Logic, 2014 Dec 01. 102(6), 1185-1216. |
Databáze: | JSTOR Journals |
Externí odkaz: |