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