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

Provability logic with operations on proofs

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

Контакты

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



Многоканальный телефон:
+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

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