A. G. Dragalin
2 Publications
A completeness theorem for higher-order intuitionistic logic
an intuitionistic proof
1987
in: Mathematical logic and its applications, Berlin,
Cut-elimination theorem for higher-order classical logic
an intuitionistic proof
1987
in: Mathematical logic and its applications, Berlin,
2 Publications