A simple ordinal recursive normalization of Gödel's T

Autor:	Paul J. Voda
Rok vydání:	1998
Předmět:	Normalization (statistics) Discrete mathematics Type theory Computability Recursive functions Ordinal analysis Gödel Algorithmic logic computer Mathematics computer.programming_language
Zdroj:	Computer Science Logic ISBN: 9783540645702 CSL
DOI:	10.1007/bfb0028033
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::8cfb001ebeda40ec1d48d2a0ccae5b44 https://doi.org/10.1007/bfb0028033 Zobrazit plný text záznamu