Este texto fue escrito pensando en el curso de lógica que se imparte en la División de CBI a los alumnos de computación y de matemáticas aplicadas. Dado que éste es el único curso de lógica contemplado en los programas de estudio de estas licenciaturas, resulta importante cubrir, en la medida de lo posible, todo el material que el alumno va a necesitar durante su carrera.
