On the Proof Theory of the Intermediate Logic MH

Autor:	Seldin, Jonathan P.
Zdroj:	The Journal of Symbolic Logic, 1986 Sep 01. 51(3), 626-647.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2274019 Zobrazit plný text záznamu