Title: Posthumous writings
Subjects: Mathematics, Symbolic and mathematical Logic