Matrix Representation of Husserl's Part-Whole-Foundation Theory. - Richard Blecksmith; Gilbert Null (Notre Dame J. Formal Log., 1991)