Extensions of first order logic by Manzano, María fromCambridge tracts in theoretical computer science 0 Type: Book
