Lógica de primer orden - Mosterín, Jesús 1941-2017 (Ariel, 1976)