Isabelle/HOL : a proof assistant for higher-order logic
Nipkow, Tobias
Isabelle/HOL : a proof assistant for higher-order logic - - Berlin Springer, 2002 - xiii,218 p. 23 cm - Lecture notes in computer sience ; v.2283 .
3-540-43376-70
Functional programming(Computer science)
Logic, Symbolic and mathematical
Proof theory
681.3.06:517.1 Nip
Isabelle/HOL : a proof assistant for higher-order logic - - Berlin Springer, 2002 - xiii,218 p. 23 cm - Lecture notes in computer sience ; v.2283 .
3-540-43376-70
Functional programming(Computer science)
Logic, Symbolic and mathematical
Proof theory
681.3.06:517.1 Nip