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.
736 Publications
1998 | Book Review | LibreCat-ID: 18270
Peckhaus, V. (1998). Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 889.03045).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18273
Peckhaus, V. (1998). Barwise, Jon, “The Right Things for the Right Reasons”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01008).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18275
Peckhaus, V. (1998). Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01010).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
Peckhaus, V. (1998). Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01011).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01012).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18294
Peckhaus, V. (1998). Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01013).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
Peckhaus, V. (1998). Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01014).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18299
Peckhaus, V. (1998). Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01008).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
Peckhaus, V. (1998). Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18297
Peckhaus, V. (1998). Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18296
Peckhaus, V. (1998). Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01015).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18308
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 897.03006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18301
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01011).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18304
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03012).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18302
Peckhaus, V. (1998). Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03005).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18309
Peckhaus, V. (1998). Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 897.03053).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18303
Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18300
Peckhaus, V. (1998). Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01010).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18307
Peckhaus, V. (1998). Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 897.03005).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18219
Peckhaus, V. (1998). Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.01019).
LibreCat
| Files available