Mosterín, Jesús. Lógica de primer orden - 1a edición - Ariel 1976 ISBN: 8434439395 Dewey Class. No.: 160 M915l