https://intlibrary.ir/download/closure-spaces-and-logic-1686/