Extensions of first order logic /
Manzano, María.
Cambridge : Cambridge University Press,
1996.
First-order logic.
Logic, Symbolic and mathematical.