Autor:	Takeshi Yamazaki, Stephen G. Simpson, Kazuyuki Tanaka
Rok vydání:	2017
Zdroj:	Reverse Mathematics 2001
DOI:	10.1017/9781316755846.024
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::4bdd164fb416a4751ac9847503b266ea https://doi.org/10.1017/9781316755846.024 Zobrazit plný text záznamu