Reflection principles in computational logic