๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

Non-definability of the Ackermann function with type 1 partial primitive recursion

โœ Scribed by Karl-Heinz Niggl


Publisher
Springer
Year
1997
Tongue
English
Weight
185 KB
Volume
37
Category
Article
ISSN
0933-5846

No coin nor oath required. For personal study only.


๐Ÿ“œ SIMILAR VOLUMES