@articlePeckhaus_1998, title=Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88, number=Zbl. 895.01006, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18297

@articlePeckhaus_1998, title=Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109, number=Zbl. 894.01015, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18296

@articlePeckhaus_1998, title=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, number=Zbl. 897.03006, journal=Zentralblatt für Mathematik und ihre Grenzgebiete, author=Peckhaus, Volker, year=1998 
LibreCat: /record/18308

@articlePeckhaus_1998, title=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, number=Zbl. 895.01011, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18301

@articlePeckhaus_1998, title=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, number=Zbl. 896.03012, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18304

@articlePeckhaus_1998, title=Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273, number=Zbl. 896.03005, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18302

@articlePeckhaus_1998, title=Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492, number=Zbl. 897.03053, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18309

@articlePeckhaus_1998, title=McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334, number=Zbl. 896.03007, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18303

@articlePeckhaus_1998, title=Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96, number=Zbl. 895.01010, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18300

@articlePeckhaus_1998, title=Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415, number=Zbl. 897.03005, journal=Zentralblatt für Mathematik und ihre Grenzgebiete , author=Peckhaus, Volker, year=1998 
LibreCat: /record/18307