Finite Combinatory Processes. Formulation 1 (1936)

by E L Post
Venue:Journal of Symbolic Logic