Authors: WANSING H

Citation: H. Wansing, FUNCTIONAL COMPLETENESS FOR SUBSYSTEMS OF INTUITIONISTIC PROPOSITIONAL LOGIC, Journal of philosophical logic, 22(3), 1993, pp. 303-321