Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
логика геделя
Связанные издания:
Computer Science Logic: Proc./24th International Workshop, CSL 2010, 19th Annual Conference of the EACSL, Brno, Czech Republic, August 2010