Практикум по математическим основам информатики. Часть 2. Введение в математическую логику
А. Мейлахс
Обложка: