Puesto que tiene formación en informática, quizá le interesen algunos de los siguientes libros:
- Lógica formal por A. N. Prior
- Elementos de lógica matemática de J. Lukasiewicz
- La silogística de Aristóteles: Desde el punto de vista de la lógica moderna por J. Lukasiewicz
- Lógica polaca 1920-1939 Editado por Stors McCall
El libro de Prior contiene secciones sobre el cálculo proposicional, la teoría de la cuantificación, el silogismo aristotélico, la lógica tradicional, la lógica modal, la lógica de tres valores y la lógica de la extensión. La sección sobre el cálculo proposicional incluye un tema probablemente poco conocido en una breve exploración de lo que pueden llegar a ser los functores de variables. o equivalentemente funciones de verdad variables (lo que significa que tenemos al menos una función de verdad que se califica como una variable lógica en lugar de una constante lógica).
Elements of Mathematical Logic comienza con una discusión de la historia de la lógica, y luego procede a desarrollar axiomáticamente el cálculo proposicional de dos valores, utilizando lo que considero un conjunto de axiomas muy simple. Los axiomas en palabras se pueden enunciar:
1) "Si la primera (proposición) implica la segunda, si la segunda implica también la tercera, entonces la primera implica la tercera". 2) "Si la negación de la primera implica la primera, entonces la primera". 3) "Si la primera, entonces si la negación de la primera, entonces la segunda".
Otras secciones incluyen el cálculo proposicional de dos valores con cuantificadores, problemas de independencia de los axiomas presentados, consistencia del sistema y completitud del sistema. El libro tiene mucho que recomendar, en mi opinión, para aprender el método axiomático, así como para darse cuenta de que existen o pueden formarse muchísimas relaciones entre leyes lógicas y resultados metateóricos. Los artículos de Wajsberg en el volumen Lógica polaca lo hacen aún más evidente.
