Title: Practical logic
First published: 1992
Subjects: Logic
LC classification: BC71 .Y49 1992