Title: Provability, Computability and Reflection Vol. II
Subjects: Logic, symbolic and mathematical