Documentación

Libros

1. M. Ben-Ari Mathematical logic for computer science (Springer-Verlag, 2001)
2. M. Huth; M. Ryan Logic in computer science: modelling and reasoning about systems (Cambridge University Press, 2004)
3. U. Schöning Logic for computer scientists (Birkhauser, 1989)

Isabelle

1. Isabelle/HOL and Proof General reference
2. Isabell formal cheat sheet (pdf)
3. Isabelle cheat sheet.
4. Cheat sheet for the Isabelle/HOL theorem prover in ProofGeneral.
5. Documentación de Isabelle