Proceedings of the Second Scandinavian Logic Symposium - Fenstad, Jens Erik (Studies in logic and the foundations of mathematics, 1971)
Provability, Computability and Reflection.