A result for combinators, BCK logics and BCK algebras. Logique et Analyse 109 (1985)

by M W Bunder, R K Meyer
Venue:ISO FDIS