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

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

3.67 of 5 stars 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-8 of 9)
filter  |  sort: default (?)  |  rating details
Costi
Costi marked it as to-read
Jul 04, 2014
Tommy Mcguire
Tommy Mcguire marked it as to-read
May 31, 2014
Martisch
Martisch marked it as to-read
Jan 30, 2013
David
David marked it as to-read
May 13, 2012
Ramy
Ramy marked it as to-read
Mar 03, 2012
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 »
Term Rewriting and All That Software Safety and Security: Tools for Analysis and Verification Rewriting Techniques and Applications: 9th International Conference, Rta-98, Tsukuba, Japan, March 30 - April 1, 1998, Proceedings Types for Proofs and Programs: International Workshop TYPES '93, Nijmegen, The Netherlands, May 24 - 28, 1993. Selected Papers (Lecture Notes in Computer Science) Formal Logical Methods for System Security and Correctness (Nato Science for Peace and Security) (Nato Science for Peace and Security)

Share This Book