Authors: Dahn, I

Citation: I. Dahn, Interpretation of a mizar-like logic in first order logic, LECT N A I, 1761, 2000, pp. 137-151