Peckhaus V. Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18297

Peckhaus V. Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18296

Peckhaus V. 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. Zentralblatt für Mathematik und ihre Grenzgebiete. Published online 1998.
LibreCat: /record/18308

Peckhaus V. 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. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18301

Peckhaus V. 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. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18304

Peckhaus V. Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18302

Peckhaus V. Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18309

Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18303

Peckhaus V. Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18300

Peckhaus V. Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415. Zentralblatt für Mathematik und ihre Grenzgebiete . Published online 1998.
LibreCat: /record/18307