РАЗДЕЛ:  Алгебра и логик.../ Логика/ Теория вычислимости/