Title: Introducción a la lógica moderna - 2. ed.