Lógica de primer orden - Mosterín, Jesús 1941-2017 (Barcelona [etc.] Ariel, 1976)
Keywords: Lógica matemática