A strong normalization result for classical logic
Franco Barbanera, Stefano BerardiVolume:
76
Year:
1995
Language:
english
Pages:
18
DOI:
10.1016/0168-0072(95)00004-z
File:
PDF, 1.19 MB
english, 1995