Lógica de primer orden - Mosterín, Jesús ( 1941-2017) (Coleccion convivium, 1970)