Title: Extensions of First-Order Logic (Cambridge Tracts in Theoretical Computer Science)
Subjects: First-order logic