https://intlibrary.ir/download/елементи-математичної-логіки-та-теорії-алгоритмів.-67739/