Normal Gentzen Deductions in the Classical Case.

Alessandra Palmigiano Normal Gentzen Deductions in the Classical Case. 2000 8 Logic Journal of the IGPL 2 http://www3.oup.co.uk/igpl/Volume_08/Issue_02/#Palmigiano db/journals/igpl/igpl8.html#Palmigiano00