Matrix logic - Stern, August (North-Holland, 1988)