Title: Theory of Formal Systems
First published: April 1, 1961
Subjects: Metamatemática, Funciones recursivas, Recursive functions, Mathematics, Metamathematics, Fonctions récursives, Métamathématique
LC classification: QA248.5 .S55