ISBN 3540433767 books & textbook
Isabelle/HOL: A Proof Assistant for Higher-Order Logic (Lecture Notes in Computer Science, 2283)
Nipkow, Tobias Paulson, Lawrence C. Wenzel, Markus
Springer /2002-04-03 Paperback / 240 Pages
isbn-10: 3540433767 / isbn-13: 9783540433767
