Title: First-order logic
First published: 1994
Subjects: First-order logic
LC classification: BC128 .H45 1994