Unable to display preview. 미리 보기 PDF 다운로드. Thompson, R. J., Complete description of substitutions in cylindric algebras and other algebraic logics, In Algebraic Methods in Logic and in Computer Science ed.