Meeting of the Association for Symbolic Logic: Chicago, 1977

Autor:	Jockusch,, Carl G., Soare, Robert I., Tait, William, Takeuti, Gaisi
Zdroj:	The Journal of Symbolic Logic, 1978 Sep 01. 43(3), 614-619.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2273537 Zobrazit plný text záznamu