with Null, G.T. , 1991, 'Matrix representation of Husserl's part - whole - foundation theory', Notre Dame journal of formal logic 32, 87-111.