Computable Algebraic Systems M. O. Rabin

Autor:	Mayoh, B. H.
Zdroj:	The Journal of Symbolic Logic, 1967 Sep 01. 32(3), 412-413.
Databáze:	JSTOR Journals
Externí odkaz:	https://www.jstor.org/stable/2270825 Zobrazit plný text záznamu