https://intlibrary.ir/download/automated-theorem-proving-93455-2838/