Autor:	Toshiyasu Arai
Rok vydání:	2020
Zdroj:	Ordinal Analysis with an Introduction to Proof Theory ISBN: 9789811564581
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::78b087d77d9bc46ea5b86b13d3554590 https://doi.org/10.1007/978-981-15-6459-8_1 Zobrazit plný text záznamu