Provability, Computability and Reflection by Anne S. Troelstra, D. van Dalen & Ayda I. Arruda