Merkliste 
 1 Ergebnisse 
 
1

Normal Gentzen deductions in the classical case:

Palmigiano, A
Logic Journal of IGPL.  8 (2000)  2 - p. 211-219 , 2000