Dialogues and Proofs; Yankov’s Contribution to Proof Theory

Autor:	Andrzej Indrzejczak
Rok vydání:	2022
Zdroj:	Outstanding Contributions to Logic ISBN: 9783031068423
DOI:	10.1007/978-3-031-06843-0_3
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::ef47cd40380149729d9a539795cedbe8 https://doi.org/10.1007/978-3-031-06843-0_3 Zobrazit plný text záznamu