I'm very interested in that field, unfortunately, the math part pretty much escapes me.<p>The long term goal is to be able to use Coq or Isabelle to prove some small piece of software.
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser<p>Link:<p><a href="https://books.google.com/books/about/Fundamental_Proof_Methods_in_Computer_Sc.html?id=MovGDgAAQBAJ&printsec=frontcover&source=kp_read_button#v=onepage&q&f=false" rel="nofollow">https://books.google.com/books/about/Fundamental_Proof_Metho...</a>