|
Documentación
Libros
- M. Ben-Ari
Mathematical logic for computer science
(Springer-Verlag, 2001)
- M. Huth; M. Ryan
Logic in computer science: modelling and reasoning about systems
(Cambridge University Press, 2004)
- U. Schöning
Logic for computer scientists
(Birkhauser, 1989)
Isabelle
-
Isabelle/HOL and Proof General reference
-
Isabell formal cheat sheet (pdf)
-
Isabelle cheat sheet.
-
Cheat sheet for the Isabelle/HOL theorem prover in ProofGeneral.
-
Documentación de Isabelle
|