Finite combinatory process – formulation 1 (1936)

by E L Post
Venue:Symbolic Logic