On the Scope of the Classical Deduction Theorem

Autor:	Pogorzelski, Witold A.
Zdroj:	The Journal of Symbolic Logic, 1968 Mar 01. 33(1), 77-81.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2270054 Zobrazit plný text záznamu