Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser Link: https://books.google.com/books/about/Fundamental_Proof_Metho...
Fundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/Musser Link: https://books.google.com/books/about/Fundamental_Proof_Metho...