Василий Любецкий
Институт проблем передачи информации имени А. А. Харкевича РАН; Московский государственный университет имени М.В. Ломоносова

Абсолютно неразрешимые проблемы. Проблема А. Тарского.