Ўхшаш китоблар «Классификация счётных моделей полных теорий. Часть 1», Сергей Владимирович Судоплатов