[arkady-svidrigailov]

Hola,
me gustaría que me recomienden algún texto que explique en general los sitemas formales, es decir de qué se componen, en qué consiste un sistema deductivo, una semántica formal, un sistema axiomático, etc., y si los hay, que den ejemplos sin ser minucioso, no sólo sobre lógica de primer orden o proposicional, etc. Saludos.

[luis]

recuerdo los primeros capítulos de Lógica Combinatoria de Curry como el libro que me aclaró el tema en su momento (después lo he ido oscureciendo por mi cuenta, claro). es un libro clásico, y hay cuestiones de la traducción que me complicaron; pero me parece que está bueno mirarlo.

luis

[Carlos Ivorra]

En general, los libros que conozco con un tratamiento "decente" del tema tienen un nivel que no los hace aconsejables como textos introductorios (lo cual no significa que no haya libros buenos introductorios, sino sólo que yo no los conozco). El que recomienta luis no lo conozco.

Un clásico que podría servir es (al menos la primera parte de) la Introducción a la metamatemática, de Kleene.

Adjunto un par de archivos que he encontrado en una búsqueda rápida en internet y que a primera vista me han dado buena impresión. Ambos los he bajado de las páginas respectivas de sus autores, así que creo que no hay nada de ilegal en que los ponga aquí.

[arkady-svidrigailov]

Gracias!!