First-order logic an introduction - Causman, Leigh S. (Walter de Gruyter, 1998)