μ-recursive function
Funkcijas, rekursīvās
Aritmētikas pamati
Arithmetic--Foundations
Simboliskā un matemātiskā loģika
Logic, Symbolic and mathematical
Algoritmi
Algorithm
Rekursijas teorija
Recursion theory
Skaitļu teorija
Number theory
Automātu teorija
Automata theory
Recursive functions
Rekursīvās funkcijas