Изв. вузов. Матем.,
1993, номер 3, страницы 3–18
(Mi ivm4372)
|
Теоремы о полноте и устранении сечения в классической логике высокого порядка. Конструктивные методы
А. Г. Драгалин г. Дебрецен (Венгрия)
УДК:
510.25 Поступила: 07.10.1992
Англоязычная версия:
Russian Mathematics (Izvestiya VUZ. Matematika), 1993,
37:3,
1–16
Реферативные базы данных:
© , 2024
Полный текст:
PDF файл (1160 kB)