Hola, pues llevo la clase de Lógica Matemática , me dejaron bastantes ejercicios pero no logro encontrar algún libro con los temas que hemos visto, como por ejemplo funciones recursivas, función de profundidad,función de Ackermann, cerraduras inductivas, conjuntos PROP y EXPR, cadenas, alfabetos,valuaciones, función sim, aritmética modular, etc.
He buscado en muchos libros de Lógica y Matemáticas Discretas pero solo encuentro los temas de Relaciones , Funciones y Lógica de primer orden, pero en ninguno he encontrado algo de lo que me piden, lo que más me urge entender es que son los conjuntos PROP y EXPR, además de entender que es una Cerradura Inductiva, Cadenas y Alfabetos,y las Valuaciones, si alguien me puede aconsejar algún libro , página o tutorial o manual le estaría muy agradecido : ).