https://intlibrary.ir/download/logic,-sets,-and-recursion-93851/