SUPPES, P. / HILL, S.
Simbolización de proposiciones. Interferencia lógica. Certeza y validez. Tablas de certeza. Términos, predicados y cuantificaciones universales. Especificación universal y leyes de identidad. Un sistema matemático simple: axiomas de la adición. Generalización universal.
El propósito de este libro es introducir al estudiante en el método deductivo de la Matemática moderna, pero se ha intentado escribirlo de manera que lo puedan utilizar los estudiantes con un margen de edad y habilidad muy amplio.Se ha insistido mucho a lo largo del texto en la importancia del problema de traducir a símbolos lógicos o matemáticos proposiciones enunciadas en lenguaje corriente, y se han agregado multitud de ejemplos y ejercicios.
