Autor:	Torkel Franzen
Rok vydání:	2017
Předmět:	Discrete mathematics Algebra Hilbert's second problem PA degree Gentzen's consistency proof True arithmetic Second-order arithmetic Robinson arithmetic Primitive recursive arithmetic Non-standard model of arithmetic Mathematics
Zdroj:	Inexhaustibility: A Non-Exhaustive Treatment
DOI:	10.1017/9781316755969.010
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::9b08e1b4980c762b727be80b80183413 https://doi.org/10.1017/9781316755969.010 Zobrazit plný text záznamu