Cisneros, A. Jesús Mosterín, Lógica De Primer Orden. CRHF 2018, 8, 125-128.