García Máynez, E. José Ferrater Mora Y Hughes Leblanc, <i>Lógica matemática</I>. Diánoia 1956, 2, 390–393.