https://intlibrary.ir/download/semantics-logics-and-calculi-essays-dedicated-9375/