Algebraic Logic door S.G. Gindikin