Separation Principles in the Hierarchy Theory of Pure First-Order Logic M. R. Krom

Autor:	Clarke, D. A.
Zdroj:	The Journal of Symbolic Logic, 1966 Sep 01. 31(3), 503-504.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2270479 Zobrazit plný text záznamu