Autor:	D. Hilbert, G. Gentzen, J. Łukasiewicz, K. Gödel, L. Henkin, J. C. C. McKinsey
Rok vydání:	1986
Zdroj:	Logik-Texte ISBN: 9783112645826
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3952eb96a86a27cdd2e87fe9c8286cc2 https://doi.org/10.1515/9783112645826-012 Zobrazit plný text záznamu