Comments on gentzen-type procedures and the classical notion of truth
1975 ◽
pp. 290-319
◽
Keyword(s):