Title: Extensions of first order logic
First published: 1996
Subjects: First-order logic
LC classification: QA9 .M315 1996