Copyright © СО РАН
Проект 1.1.1.2. Математическая логика и проблемы разрешимости (2007 - 2009 год)
Разработано и поддерживается Институтом вычислительных технологий СО РАН