Nice implicational axioms

Ivo Thomas. Nice implicational axioms. Notre Dame Journal of Formal Logic, 16(4):507-508, 1975. [doi]

Abstract

Abstract is missing.