Finite combinatory processes—formulation 1 (1936)

by Emil Leon Post
Venue:J. Symbolic Logic