https://intlibrary.ir/download/new-essays-in-free-logic:-in-honour-of-karel-lambe-45921/