Normal Gentzen Deductions in the Classical Case

Alessandra Palmigiano. Normal Gentzen Deductions in the Classical Case. Logic Journal of the IGPL, 8(2):211-219, 2000. [doi]

Abstract

Abstract is missing.