Title: Deduction
First published: 1987
Subjects: Logic