Incompleteness Along Paths in Progressions of Theories

Autor:	Feferman, S., Spector, C.
Zdroj:	The Journal of Symbolic Logic, 1962 Dec 01. 27(4), 383-390.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2964544 Zobrazit plný text záznamu