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:	https://www.jstor.org/stable/43649685 Zobrazit plný text záznamu Full text from SpringerLink