Autor:	Enrico Moriconi
Rok vydání:	2017
Předmět:	History History and Philosophy of Science 010201 computation theory & mathematics Consistency (statistics) Proof theory 010102 general mathematics 0102 computer and information sciences 0101 mathematics 01 natural sciences Mathematical economics Algorithm Mathematics
Zdroj:	History and Philosophy of Logic. 38:190-200
ISSN:	1464-5149 0144-5340
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::f3fa9796cc72d503f4d29164b94642c2 https://doi.org/10.1080/01445340.2016.1268083 Zobrazit plný text záznamu Plný text ve formátu PDF Plný text ve formátu HTML
Nepřihlášeným uživatelům se plný text nezobrazuje	K zobrazení výsledku je třeba se přihlásit.