Finitary Combinatory Processes – Formulation I (1936)

by E L Post
Venue:Journal of Symbolic Logic