https://intlibrary.ir/download/introduction-to-proof-in-abstract-mathematics-19814/