Перейти к основному содержанию
Мемориальная библиотека А.П. Ершова
Toggle navigation
Издания
Журналы
Новые поступления
Вы здесь
Главная
Moscow Computer Sience School 2004 - Лекции по мат. логике
Связанные издания:
Operations on proofs thet can be specified by means of modal logic
