Lógica formal : su alcance y sus límites - Jeffrey, Richard C. (Ediciones Universidad de Navarra, 1986)