https://intlibrary.ir/download/proof-theory-96858/