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
Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 103–108
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 895.01007] (1998).
LibreCat
 

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

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

1998 | Book Review | LibreCat-ID: 18232
Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03011] (1998).
LibreCat
 

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

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

1998 | Book Review | LibreCat-ID: 18251
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
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 884.03003] (1998).
LibreCat
 

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

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

1998 | Book Review | LibreCat-ID: 18302
Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996, 247–273
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 896.03005] (1998).
LibreCat
 

Filters and Search Terms

department=36

Search

Filter Publications

Display / Sort

Export / Embed