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.

2283 Publications


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, 103–108.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01007], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18213
Peckhaus, Volker. “Delzell, Charles N., ‘Kreisel’s Unwinding of Artin’s Proof’, in P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 113–246.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 876.12002], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18220
Peckhaus, Volker. “Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.01042], 1998.
LibreCat
 

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 [Zbl. 877.03011], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18244
Peckhaus, Volker. “Howard, William A., ‘Some Proof Theory in the 1960’s’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 275–288.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 881.01013], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18237
Peckhaus, Volker. “Dummett, Michael, ‘Introductory Remarks’, in: Czermak (Hg.) 1993 [9.4], 69–76.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03004], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18251
Peckhaus, Volker. “Buschlinger, Wolfgang, Wider Das Verbot Der Semantischen Geschlossenheit Der Sprache. Der Wert Unliebsamer Sprachlicher Strukturen Für Die Reduktion von Graphentheorie Auf Logik, Peter Lang: Frankfurt a.M. 1997.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 884.03003], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18275
Peckhaus, Volker. “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 25–32.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 894.01010], 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18270
Peckhaus, Volker. “Feferman, Solomon, ‘Kreisel’s “Unwinding” Program’, in: P. Odifreddi (Ed.), Kreiseliana, Wellesley, MA 1996, 247–273.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 889.03045], 1998.
LibreCat
 

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, 247–273.” Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005], 1998.
LibreCat
 

Filters and Search Terms

department=36

Search

Filter Publications

Display / Sort

Citation Style: Chicago

Export / Embed