Metalógica: introducción a la metateoría de la lógica clásica de primer orden.- Hunter, Geoffrey

Paraninfo. 1981. Lógica. Epistemología. Teoría del conocimiento (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 . Cubierta deslucida. ISBN: 8428311021