Izv. Vyssh. Uchebn. Zaved. Mat., 1993 Number 3, Pages 3–18
(Mi ivm4372)
|
Completeness and cut-elimination theorems in higher-order classical logic. Constructive methods
A. G. Dragalin Debretsen (Hungary)
UDC:
510.25 Received: 07.10.1992
English version:
Russian Mathematics (Izvestiya VUZ. Matematika), 1993,
37:3,
1–16
Bibliographic databases:
© , 2025