Математическая логика
Скорубский В. И., Поляков В. И., Зыков А. Г.
Обложка: