Hola quería que alguien, si puede, me recomiende qué libro podría leer de lógica que abarque los siguientes temas:
-Conjuntos inductivos
-Principios de inducción
-Esquemas de recursión
-Proposiciones y conectivos
-Semántica
-Deducción natural
-Completitud
-Cuantificadores
-Estructura
-Propiedades simples de la lógica de predicados
y más temas pero más o menos para que vean de qué se trata...desde ya muchas gracias!
Saludos!