A. G. Dragalin
editions X
2 Publikationen
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 Publikationen