Interpolation and Definability in Abstract Logics

Autor:	Jensen, Finn V.
Zdroj:	Synthese, 1974 May 01. 27(1/2), 251-257.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/20114915 Zobrazit plný text záznamu Full text from SpringerLink