Репозиторий
Публикация
Print
Публикация
Print

Craig interpolation property in modal logics with provability interpretations

Автор
Яворская Татьяна Леонидовна
 
Тип публикации
Статья
 
Язык публикации
Русский
 
Аффилиация
МГУ им. М.В. Ломоносова
 
Издательство
Springer Lecture Notes in Computer Science: 813
 
Год
1994
 
Количество страниц
329
 

Контакты

СПРАВОЧНАЯ СЛУЖБА



Многоканальный телефон:
+7 499 956-99-99

E-mail:information@ranepa.ru
ПРИЕМНАЯ КОМИССИЯ
119571, г. Москва,
Проспект Вернадского, д. 84
Бакалавриат и специалитет:
Call-центр:
+7 499 956-99-99 (многоканальный)
Часы работы: 10.00 – 18.00

Магистратура:
Контакты приемных подкомиссий факультетов/институтов Академии
ПРЕСС-СЛУЖБА
119571, г. Москва,
Проспект Вернадского, д. 84, к. 2

Телефон:
+7 499 956-99-69



E-mail:press@ranepa.ru
Гостинично-жилой комплекс
119571, г. Москва,
Проспект Вернадского, д. 84, к. 2

Телефон:+7 499 956-00-44+7 495 434-33-25

E-mail: reserv@ranepa.ru

Президентская академия - лидирующий вуз России!