Lógica de primer orden - Mosterín, Jesús (Colección Convivium, 11, 1970)