Foundational studies : selected works. - Mostowski, Andrzej; Kuratowski, Kazimierz, 1896-1980 (Studies in logic and the foundations of mathematics, 1979)
Provability, Computability and Reflection.