The two-valued iterative systems of mathematical logic (1941)

by E Post
Venue:Annals of Mathematical Studies