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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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
V. Peckhaus, “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: IEEE

Export / Embed