Elementos de lógica formal - Badesa, Calixto (Ariel, 2007)
Reimpresiones: 2014, 2018