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

Общая информация


 
Login Print view Help 

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

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




Системы аксиом и модели для теорий первого порядка с оператором доказуемости

 


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


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