Auxiliares

• Auxiliar 1
• Auxiliar 3
• Auxiliar 5
• Aserciones en Eiffel

Algunos materiales complementarios para el curso

• Curso de Steve Cook
• Curso de M. Vardi
• Apuntes de Resolucion S. Buss
• Propositional Logic del libro de J. Gallier.

Programación lógica y funcional

• Programming in Standard ML (The Core Language) , R. Harper. (Introducción a SML, 150 pp.)
• Página de la Programación Lógica: diversos materiales y recursos.
• Logic Programming/Prolog: desarrollo y uso de la programación lógica y PROLOG.

Algunos punteros hacia temas más avanzados

• On the unusual effectiveness of Logic in Computer Science J. Y. Halpern et al.
  Una excelente visión de los usos de la lógica en Computación. Supone bastante background en lógica (y computación).
• Reasoning about Knowledge: A Survey J. Y. Halpern
• Proofs and Programs: 19th Century Logic and 21st Century Programming Philip Wadler
• An Introduction to Proof Theory , por Samuel R. Buss.