Autor:	Ilario Bonacina
Rok vydání:	2017
Zdroj:	Space in Weak Propositional Proof Systems ISBN: 9783319734521
DOI:	10.1007/978-3-319-73453-8_1
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::791c1c84ffaf6953b120161be02cc2e4 https://doi.org/10.1007/978-3-319-73453-8_1 Zobrazit plný text záznamu