Paraninfo. 1981. Logística. Lógica simbólica. Lógica matemática. Cálculo lógico.(164) 21 cm. 320 p. Encuadernación en tapa blanda de editorial. Colección Colección Lógica y Teoría de la Ciencia . Índices. Traducción del inglés Rodolfo Fernández González. Indices. Bibliografía: p. 293-304. Lógica matemática . ISBN: 8428311021