MoL-1999-01: Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case 1.Abstract, 2.Full Text (PDF), 3.Full Text (PS). < Back
