Title: Emil L. Post and the problem of mechanical provability
Subjects: Symbolic and mathematical Logic, Proof theory
People: Emil Leon Post (1897-1954)