RUS  ENG
Full version
JOURNALS // Izvestiya Vysshikh Uchebnykh Zavedenii. Matematika // Archive

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:


© Steklov Math. Inst. of RAS, 2025