Review of [Post (1936)

by A Church
Venue:Journal of Symbolic Logic