[swampcreature]

Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser

Link:

https://books.google.com/books/about/Fundamental_Proof_Metho...