Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
308 Publications
1998 | Book Review | LibreCat-ID: 18297
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18296
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18308
Peckhaus, Volker. “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, 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18301
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18304
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18302
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18309
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18303
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18300
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18307
Peckhaus, Volker. “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 , 1998.
LibreCat
| Files available