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...