SMS: Математическая теория логического вывода: сборник переводов