Connections
International Standard Book Number
Entity
algorithm
Entity
programming language
Entity
digital object identifier
Entity
source code
Entity
Lisp
Entity
JSTOR
Organization
computability theory
Entity
MathWorld
Entity
Q22908627
Entity
Stephen Cole Kleene
Entity
Turing completeness
Entity
Eric W. Weisstein
Entity
μ-recursive function
Entity
zbMATH Open
Entity
Mathematische Annalen
Entity
currying
Entity
Gödel numbering
Entity
primitive recursive function
Entity
Piergiorgio Odifreddi
Entity