Finite combinatory processes. formulation I (1936)

by Emil Post
Venue:The Journal of Symbolic Logic