Reflection Principles in Computational Logic