Autor:	Satoru Kuroda
Rok vydání:	2022
Zdroj:	Computability Theory and Foundations of Mathematics.
DOI:	10.1142/9789811259296_0006
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::e6b0292a3ad5c4b423cfaf353bf6da8b https://doi.org/10.1142/9789811259296_0006 Zobrazit plný text záznamu