Формальные системы рассуждений, истина и доказуемость, основы вычислимости и разрешимости задач.
Статей пока нет. Будьте первым!