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

On the first order logic of proofs

Автор
Яворская Татьяна Леонидовна
 
Соавторы
S.N. Artemov
 
Тип публикации
Статья
 
Язык публикации
Русский
 
Аффилиация
МГУ им. М.В. Ломоносова
 
Издательство
Moscow Mathematical Journal: 1 (4)
 
Год
2001
 
Количество страниц
475
 

Контакты

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



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

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