Primitive Recursive Arithmetic with Recursion on Notation and Boundednes

Autor:	Dowd, Martin
Jazyk:	angličtina
Rok vydání:	2019
DOI:	10.13140/rg.2.2.17292.26241
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::3bbc405f12cbd740aa3bdaefcc814d32 Zobrazit plný text záznamu