Title: First-order logic
First published: 1998
Subjects: First-order logic, Logik
LC classification: BC128 .C38 1998