Title: Theory of deduction
First published: 1948
Subjects: Logic