Hunter, Geoffrey. Metalógica introducción a la metateoría de la lógica clásica de primer orden - 1a edición - Paraninfo 1981 ISBN: 8428311021 Dewey Class. No.: 511.3 H945m