TY - GEN AU - Peckhaus, Volker ID - 18270 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273 ER -