Алексей Викторович Пруцков

Математическая логика и теория алгоритмов