Lógica matemática. - Ferrater Mora, José (1955)