MATRIX LOGIC - Stern, August (Amsterdam North-Holland, 1988)
Keywords: Matrices; Logic, Symbolic And Mathematical