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.
1545 Publications
1998 | Book Review | LibreCat-ID: 18299 | 
@article{Peckhaus_1998, title={Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102}, number={Zbl. 895.01008}, journal={zbMATH Open, Zbl. 0895.01008}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18298 |
@article{Peckhaus_1998, title={Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108}, number={Zbl. 895.01007}, journal={zbMATH Open, Zbl. 0895.01007}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18294 |
@article{Peckhaus_1998, title={Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78}, number={Zbl. 894.01013}, journal={zbMATH Open, Zbl. 0894.01013}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18300 |
@article{Peckhaus_1998, title={Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96}, number={Zbl. 895.01010}, journal={zbMATH Open, Zbl. 0895.01010}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18297 |
@article{Peckhaus_1998, title={Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88}, number={Zbl. 895.01006}, journal={zbMATH Open, Zbl. 0895.01006}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18296 |
@article{Peckhaus_1998, title={Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109}, number={Zbl. 894.01015}, journal={zbMATH Open, Zbl. 0894.01015}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18295 |
@article{Peckhaus_1998, title={Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80}, number={Zbl. 894.01014}, journal={zbMATH Open, Zbl. 0894.01014}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18301 |
@article{Peckhaus_1998, title={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}, number={Zbl. 895.01011}, journal={zbMATH Open, Zbl. 0895.01011}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18302 |
@article{Peckhaus_1998, title={Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273}, number={Zbl. 896.03005}, journal={zbMATH Open, Zbl. 0896.03005}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18308 |
@article{Peckhaus_1998, title={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}, number={Zbl. 897.03006}, journal={zbMATH Open, Zbl. 0897.03006}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18304 |
@article{Peckhaus_1998, title={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}, number={Zbl. 896.03012}, journal={zbMATH Open, Zbl. 0896.03012}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18274 |
@article{Peckhaus_1998, title={Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49}, number={Zbl. 894.01009}, journal={zbMATH Open, Zbl. 0894.01009}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18303 |
@article{Peckhaus_1998, title={McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334}, number={Zbl. 896.03007}, journal={zbMATH Open, Zbl. 0896.03007}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18270 |
@article{Peckhaus_1998, title={Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273}, number={Zbl. 889.03045}, journal={zbMATH Open, Zbl. 0889.03045}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18309 |
@article{Peckhaus_1998, title={Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492}, number={Zbl. 897.03053}, journal={zbMATH Open, Zbl. 0897.03053}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18292 |
@article{Peckhaus_1998, title={Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41}, number={Zbl. 894.01011}, journal={zbMATH Open, Zbl. 0894.01011}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18222 |
@article{Peckhaus_1998, title={Russell, Bertrand, Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater, Reprint der Ausgabe von 1919, Routledge: London/New York 1993}, number={Zbl. 0877.03001; Erstdruck mit falscher bibliographischer Angabe Zbl. 865.03001}, journal={zbMATH Open, Zbl. 0877.03001}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18232 |
@article{Peckhaus_1998, title={Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270}, number={Zbl. 0877.03011}, journal={zbMATH Open, Zbl. 0877.03011}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18241 |
@article{Peckhaus_1998, title={Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997}, number={Zbl. 0879.01015}, journal={zbMATH Open, Zbl. 0879.01015}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18220 |
@article{Peckhaus_1998, title={Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997}, number={Zbl. 0877.01042}, journal={zbMATH Open, Zbl. 0877.01042}, author={Peckhaus, Volker}, year={1998} }
LibreCat
| Download (ext.)