Die Auflösung von Urteilssystemen, das Eliminationsproblem und die Kriterien des Widerspruchs in der Algebra der Logik. - Voigt, Andreas Heinrich (1890)