Skip to main content alibris logo

Isabelle/Hol: A Proof Assistant for Higher-Order Logic

by , ,

Write The First Customer Review
Isabelle/Hol: A Proof Assistant for Higher-Order Logic - Nipkow, Tobias, and Paulson, Lawrence C, and Wenzel, Markus
Filter Results
Shipping
Item Condition
Seller Rating
Other Options
Change Currency

This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. Compared with existing Isabelle documentation, it provides a direct route into higher-order logic, which most people prefer these days. It bypasses ?rst-order logic and minimizes discussion of meta-theory. It is written for potential users rather than for our colleagues in the research world. Another departure from previous documentation is that we describe Markus Wenzel's proof script ...

loading
Isabelle/Hol: A Proof Assistant for Higher-Order Logic 2002, Springer, Berlin, Heidelberg

ISBN-13: 9783540433767

2002 edition

Trade paperback