Isabelle
Subtitle: A Generic Theorem Prover (Lecture Notes in Computer Science)
Publisher: Springer
Published: July 1994
Language: eng
Number of pages: 338
ISBN-13: 9780387582443
First sentence: The following sections discuss Isabelle's logical foundations in detail: representing logical syntax in the typed -calculus; expressing inference rules in Isabelle's meta-logic; combining rules by resolution.