Title: Deductive forms
First published: 1967
Subjects: Logic