TY - GEN AU - Peckhaus, Volker ID - 18272 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14 ER - 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 - TY - GEN AU - Peckhaus, Volker ID - 18273 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Barwise, Jon, “The Right Things for the Right Reasons”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23 ER - TY - GEN AU - Peckhaus, Volker ID - 18275 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32 ER - TY - GEN AU - Peckhaus, Volker ID - 18292 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41 ER - TY - GEN AU - Peckhaus, Volker ID - 18293 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Dyson, Freeman, “Addendum: ‘Thoughts on the Occasion of Georg Kreisel’s 70th Birthday’”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 75 ER - TY - GEN AU - Peckhaus, Volker ID - 18294 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78 ER - TY - GEN AU - Peckhaus, Volker ID - 18295 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80 ER - TY - JOUR AU - Egidi, Margreth ID - 31516 JF - GRM, N.F. 48 TI - „Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“ ER - TY - GEN AU - Peckhaus, Volker ID - 18299 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102 ER - TY - GEN AU - Peckhaus, Volker ID - 18298 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108 ER - TY - GEN AU - Peckhaus, Volker ID - 18297 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88 ER - TY - GEN AU - Peckhaus, Volker ID - 18296 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109 ER - TY - GEN AU - Peckhaus, Volker ID - 18308 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Weingartner, Paul, “Some Critical Remarks on Definitions and on Philosophical and Logical Ideals”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 417–438 ER - TY - GEN AU - Peckhaus, Volker ID - 18301 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Huber-Dyson, Verena, “Toughts on the Occasion of Georg Kreisel’s 70th Birth-day”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 51–73 ER - TY - GEN AU - Peckhaus, Volker ID - 18304 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Macintyre, Angus/Wilkie, A.J., “On the Decidability of the Real Exponential Field”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 441–467 ER - TY - GEN AU - Peckhaus, Volker ID - 18302 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273 ER - TY - GEN AU - Peckhaus, Volker ID - 18309 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492 ER - TY - GEN AU - Peckhaus, Volker ID - 18303 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334 ER - TY - GEN AU - Peckhaus, Volker ID - 18300 T2 - Zentralblatt für Mathematik und ihre Grenzgebiete TI - Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96 ER -