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.

737 Publications


1998 | Book Review | LibreCat-ID: 18275 | OA
Peckhaus, Volker. “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32.” zbMATH Open, Zbl. 0894.01010, Zbl. 894.01010, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18223 | OA
Peckhaus, Volker. “Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996.” zbMATH Open, Zbl. 0894.03002, Zbl. 0894.03002, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18273 | OA
Peckhaus, Volker. “Barwise, Jon, ‘The Right Things for the Right Reasons’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23.” zbMATH Open, Zbl. 0894.01008, Zbl. 894.01008, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18293 | OA
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.” zbMATH Open, Zbl. 0894.01012, Zbl. 894.01012, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18299 | OA
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.” zbMATH Open, Zbl. 0895.01008, Zbl. 895.01008, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18298 | OA
Peckhaus, Volker. “Sacks, Gerald E., ‘Kreisel, Generalized Recursion Theory and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108.” zbMATH Open, Zbl. 0895.01007, Zbl. 895.01007, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18294 | OA
Peckhaus, Volker. “Jockusch, Carl G. jun., ‘A Letter from Professor Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78.” zbMATH Open, Zbl. 0894.01013, Zbl. 894.01013, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18300 | OA
Peckhaus, Volker. “Parikh, Rohit, ‘Some Reminiscences of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96.” zbMATH Open, Zbl. 0895.01010, Zbl. 895.01010, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18297 | OA
Peckhaus, Volker. “Nerode, Anil, ‘An Appreciation of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88.” zbMATH Open, Zbl. 0895.01006, Zbl. 895.01006, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18296 | OA
Peckhaus, Volker. “Takeuti, Gaisi, ‘Kreisel and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109.” zbMATH Open, Zbl. 0894.01015, Zbl. 894.01015, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18295 | OA
Peckhaus, Volker. “Morley, Michael, ‘Two Insights’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80.” zbMATH Open, Zbl. 0894.01014, Zbl. 894.01014, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18301 | OA
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.” zbMATH Open, Zbl. 0895.01011, Zbl. 895.01011, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18302 | OA
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.” zbMATH Open, Zbl. 0896.03005, Zbl. 896.03005, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18308 | OA
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.” zbMATH Open, Zbl. 0897.03006, Zbl. 897.03006, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18304 | OA
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.” zbMATH Open, Zbl. 0896.03012, Zbl. 896.03012, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18274 | OA
Peckhaus, Volker. “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. 0894.01009, Zbl. 894.01009, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18303 | OA
Peckhaus, Volker. “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334.” zbMATH Open, Zbl. 0896.03007, Zbl. 896.03007, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18270 | OA
Peckhaus, Volker. “Feferman, Solomon, ‘Kreisel’s “Unwinding” Program’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273.” zbMATH Open, Zbl. 0889.03045, Zbl. 889.03045, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18309 | OA
Peckhaus, Volker. “Mints, Gregory, ‘Normal Forms for Sequent Derivations’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492.” zbMATH Open, Zbl. 0897.03053, Zbl. 897.03053, 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18292 | OA
Peckhaus, Volker. “Crossley, John N., ‘Kreisel’s Effectiveness’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41.” zbMATH Open, Zbl. 0894.01011, Zbl. 894.01011, 1998.
LibreCat | Download (ext.)
 

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed