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.
1541 Publications
1998 | Book Review | LibreCat-ID: 18275
Peckhaus, Volker. “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
Peckhaus, Volker. “Crossley, John N., ‘Kreisel’s Effectiveness’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
Peckhaus, Volker. “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.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18294
Peckhaus, Volker. “Jockusch, Carl G. jun., ‘A Letter from Professor Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
Peckhaus, Volker. “Morley, Michael, ‘Two Insights’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18299
Peckhaus, Volker. “Platek, Richard A., ‘Kreisel, Generalized Recursion Theory, Stanford and Me’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
Peckhaus, Volker. “Sacks, Gerald E., ‘Kreisel, Generalized Recursion Theory and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
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
1998 | Book Review | LibreCat-ID: 18219
Peckhaus, Volker. “Deakin, Michael A.B., ‘Boole’s Mathematical Blindness’, Math. Gaz. 80 (1996), 511–518.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18222
Peckhaus, Volker. “Russell, Bertrand, ‘Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater’, Reprint der Ausgabe von 1919, Routledge: London/New York 1993.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18232
Peckhaus, Volker. “Sandu, Gabriel, ‘IF First-Order Logic, Kripke, and 3-Valued Logic’, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270.” Zentralblatt für Mathematik und ihre Grenzgebiete , 1998.
LibreCat
| Files available