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