Finite and Finitely Separable Intermediate Propositional Logics

Autor:	Bellissima, Fabio
Zdroj:	The Journal of Symbolic Logic, 1988 Jun 01. 53(2), 403-420.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2274513 Zobrazit plný text záznamu