- Об институте
 - Инновации
 - Структура
                    
- Отдел "Архитектуры вычислительных систем"
 - Отдел "Информационных систем"
 - Отдел "Компиляторных технологий"
 - Отдел "Системного программирования"
 - Отдел "Системной интеграции и прикладных программных комплексов"
 - Отдел "Теоретической информатики"
 - Отдел "Технологий программирования"
 - Ученый совет
 - Диссертационный совет
 - Центр верификации ОС Linux
 - Исследовательский центр доверенного искусственного интеллекта
 - Центр компетенции по параллельным и распределенным вычислениям
 
 - Образование
 - Издания
 - Новости
 - Лицензии
 
Новости
		
			28 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			23 Октября, 2025
				            Конкурс на замещение должности
		
	
	
    
		
			17 Октября, 2025
				            Конкурс на замещение должности
		
	
Eршов Ю.Л.
(и др. ред.)
[1982],
[1982],
[1983],
[1983]
Справочная книга по математической логике, части I-IV
М.,  Наука
(Перевод книги Barwise J. (ed.), “Handbook of Mathematical Logic, parts A-D”, 1977.)
82.12.14; 83.03.28; 83.06.30; 83.08.29
SG
книга
На нашем сайте мы используем cookie файлы, содержащие информацию о предыдущих посещениях веб-сайта. Данные обрабатываются для улучшения качества работы нашего веб-сайта. Если вы не хотите использовать cookie файлы, измените настройки браузера.
        Понятно