Title: A logic book
First published: 1987
Subjects: Logic