Российская академия наук    
     
   

Общая информация
Общие сведения
Историческая справка
Направления деятельности
Прочая информация
Проекты
Публикации


 
Login Print view Help 

Поиск атрибутный
  Организаций
  Персон

Структура учреждений РАН




Яворский Ростислав Эдуардович

  1. Р. Э. Яворский
    Системы аксиом и модели для теорий первого порядка с оператором доказуемости. Вестник Московского Университета. Сер. 1, Математика. Механика. , 1 , 01.1996



Последние изменения: 20.02.2001
Поиск ресурсов


119991 Москва, Ленинский просп., 14
Телефон: (495) 938-0309 (Справ. бюро); Факс: (495) 954-3320 (Лен.пр.14), (495) 938-1844 (Лен.пр,32а)		 На главную страницу
В начало страницы
© РАН 2007