Е. Е. Золин, “Интерполяционное свойство Крейга в логиках доказательств с оператором сильной доказуемости”, Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, номер 4,страницы 53

ЖУРНАЛЫ // Вестник Московского университета. Серия 1: Математика. Механика // Архив

Вестн. Моск. ун-та. Сер. 1. Матем., мех., 1997, номер 4, страницы 53–55 (Mi vmumm1911)

Краткие сообщения

Интерполяционное свойство Крейга в логиках доказательств с оператором сильной доказуемости

Е. Е. Золин

УДК: 510.643

Поступила в редакцию: 25.11.1996

Полный текст: PDF файл (565 kB)

Реферативные базы данных: