https://intlibrary.ir/download/logica-simbolica-9364/