Dyadic Logic: Austere, Intensional, Predicate Calculus (1992) - Paper

M. S. Lanus & E. A. Ashcroft