Normalization theorems for full first order classical natural deduction (1991)

by G Stalmarck
Venue:Journal of Symbolic Logic