Isabelle’s logics: HOL (1994)

by Tobias Nipkow, Lawrence C Paulson, Markus Wenzel
Venue:In Isabelle: A Generic Theorem Prover, volume 828 of Lect. Notes in Comp. Sci