Mi respuesta podría llegar tarde a esta pregunta, pero espero que sea útil para otras personas que buscan información similar.
Había tomado un curso sobre Lógica Matemática en la Universidad Nacional de Singapur, en el que el profesor utilizó este libro de texto:
Una introducción concisa a la lógica matemática, 3ra edición, por Wolfgang Rautenberg
Personalmente, me gustan mucho tanto el libro de texto como el curso.
El libro de texto inicialmente parece ser bastante difícil de leer. Sin embargo, una vez que se familiariza con él, es mucho más fácil de seguir, ya que el sistema de notación es muy claro, el contenido es autónomo y el enfoque es a partir de la base, sin suposición vaga. Por ejemplo, este libro desarrolla el cálculo de deducción natural y el cálculo de Hilbert, o prueba dos teoremas de incompletitud de Kurt Gödel desde cero.
Me gusta el libro de Tom Stuart "Comprensión de la computación" con respecto a la computación de modelado. Ofrece una buena visión general progresiva de modelos para computación. Si recuerdo correctamente: - máquinas deterministas de estado finito - FSM no determinista - FSM con una pila (determinista y no determinista) - Máquinas de Turing (con una cinta)
Es bastante interactivo y práctico, ya que construye simultáneamente una implementación simple de cada modelo en Ruby.
fuente