The book is currently out of stock
Parameters
More about the book
This volume is a self-contained introduction to interactive proof in high- order logic (HOL), using the proof assistant Isabelle 2002. – The second part, Logic and Sets, presents a collection of lower-level tactics that you can use to apply rules selectively.
Book purchase
Isabelle, HOL, Tobias Nipkow
- Language
- Released
- 2002
We’ll email you as soon as we track it down.
Payment methods
We’re missing your review here.