Goodreads helps you keep track of books you want to read.
Start by marking “Isabelle/Hol: A Proof Assistant for Higher-Order Logic” as Want to Read:
Isabelle/Hol: A Proof Assistant for Higher-Order Logic
Enlarge cover
Rate this book
Clear rating
Open Preview

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

3.67  ·  Rating details ·  3 Ratings  ·  0 Reviews
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 ...more
Paperback, 226 pages
Published April 3rd 2002 by Springer
More Details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Isabelle/Hol, please sign up.

Be the first to ask a question about Isabelle/Hol

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-13)
Rating details
Sort: Default
|
Filter
Fadoua
rated it liked it
May 18, 2012
Jose_A.
rated it it was amazing
Jan 21, 2012
Karl
rated it liked it
Dec 10, 2011
Ramy
marked it as to-read
Mar 03, 2012
David
marked it as to-read
May 13, 2012
Martisch
marked it as to-read
Apr 26, 2012
Tommy Mcguire
marked it as to-read
May 31, 2014
Costi
marked it as to-read
Jul 04, 2014
Matthew Todd
marked it as to-read
Jan 14, 2015
Telorian
marked it as to-read
Apr 26, 2012
K.
marked it as to-read
Jan 01, 2016
HBooks91
marked it as to-read
Feb 05, 2016
Jalal Uddin
marked it as to-read
Aug 19, 2016
There are no discussion topics on this book yet. Be the first to start one »

Goodreads is hiring!

If you like books and love to build cool products, we may be looking for you.
Learn more »