Семинар 11 июня 2002 года

Вторник, 11 июня, комната 106. Начало в 18:00.

Докладчик: А. О. Слисенко (Paris).

РАЗРЕШИМЫЕ КЛАССЫ В ЛОГИКЕ, ОСНОВАННЫЕ НА КОНЕЧНОЙ ОПРОВЕРЖИМОСТИ И ВЫПОЛНИМОСТИ