Autor:	Paolo Mancosu, Sergio Galvan, Richard Zach
Rok vydání:	2021
Zdroj:	An Introduction to Proof Theory ISBN: 0192895931
DOI:	10.1093/oso/9780192895936.005.0001
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1ca987cb493eb0a625dca3bc2a7209ef https://doi.org/10.1093/oso/9780192895936.005.0001 Zobrazit plný text záznamu