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.
9602 Publications
1998 | Book Review | LibreCat-ID: 18300 | 
Peckhaus V. Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96. zbMATH Open, Zbl 089501010. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18297 |
Peckhaus V. Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88. zbMATH Open, Zbl 089501006. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18296 |
Peckhaus V. Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109. zbMATH Open, Zbl 089401015. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18295 |
Peckhaus V. Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80. zbMATH Open, Zbl 089401014. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18301 |
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. zbMATH Open, Zbl 089501011. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18302 |
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. zbMATH Open, Zbl 089603005. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18308 |
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. zbMATH Open, Zbl 089703006. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18304 |
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. zbMATH Open, Zbl 089603012. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18274 |
Peckhaus V. Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49. zbMATH Open, Zbl 089401009. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18303 |
Peckhaus V. McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. zbMATH Open, Zbl 089603007. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18270 |
Peckhaus V. Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. zbMATH Open, Zbl 088903045. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18309 |
Peckhaus V. Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. zbMATH Open, Zbl 089703053. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18292 |
Peckhaus V. Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41. zbMATH Open, Zbl 089401011. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18222 |
Peckhaus V. Russell, Bertrand, Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater, Reprint der Ausgabe von 1919, Routledge: London/New York 1993. zbMATH Open, Zbl 087703001. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18232 |
Peckhaus V. Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270. zbMATH Open, Zbl 087703011. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18241 |
Peckhaus V. Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997. zbMATH Open, Zbl 087901015. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18220 |
Peckhaus V. Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997. zbMATH Open, Zbl 087701042. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18219 |
Peckhaus V. Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518. zbMATH Open, Zbl 087701019. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18307 |
Peckhaus V. Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415. zbMATH Open, Zbl 089703005. Published online 1998.
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18234 |
Peckhaus V. McGinn, Marie, Wittgenstein and the Philosophical Investigations, Routledge: London 1997. zbMATH Open, Zbl 087803002. Published online 1998.
LibreCat
| Download (ext.)