swampcreature·8년 전·discussFundamental Proof Methods in Computer Science: A Computer-Based Approach by Arkoudas/MusserLink:https://books.google.com/books/about/Fundamental_Proof_Metho...
Link:
https://books.google.com/books/about/Fundamental_Proof_Metho...