Title: Solvability, provability, definability
Subjects: Symbolic and mathematical Logic
People: Emil Leon Post (1897-1954)