Title: Natural deduction
First published: 1962