Autor:	G. Gentzen, E. W. Beth, P. Lorenzen
Rok vydání:	1986
Zdroj:	Logik-Texte ISBN: 9783112645826
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3cde2f6e2d10b2b2e245244528262b28 https://doi.org/10.1515/9783112645826-010 Zobrazit plný text záznamu