×
  • Isabelle/HOL: A Proof Assistant for Higher-Order Logic

    Tobias Nipkow

Click on cover to enlarge.
Buy This Book
From Amazon.
5 - 6Hours to read