×
  • Higher Order Logic Theorem Proving and its Applications

    L.J.M. Claesen M.J.C. Gordon

Click on cover to enlarge.
Buy This Book
From Amazon.
13 - 15Hours to read