https://intlibrary.ir/download/mathematical-logic-with-special-reference-to-the-n-70143/