https://intlibrary.ir/download/proofs-and-types-92753/