https://intlibrary.ir/download/lógica-para-ciência-da-computação-17279/