Isabelle/Hol : A Proof Assistant for Higher-Order Logic
ISBN: 9783540433767
Information Available:
Summary
Cover Image
Table Of Contents
Copyright held by Baker & Taylor.