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.

306 Publications


1998 | Book Review | LibreCat-ID: 18272
V. Peckhaus, “Barendregt, Henk, ‘Kreisel, Lambda Calculus, a Windmill and a Castle’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

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

1998 | Book Review | LibreCat-ID: 18273
V. Peckhaus, “Barwise, Jon, ‘The Right Things for the Right Reasons’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18275
V. Peckhaus, “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18292
V. Peckhaus, “Crossley, John N., ‘Kreisel’s Effectiveness’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18293
V. Peckhaus, “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,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18294
V. Peckhaus, “Jockusch, Carl G. jun., ‘A Letter from Professor Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18295
V. Peckhaus, “Morley, Michael, ‘Two Insights’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Journal Article | LibreCat-ID: 31516
M. Egidi, “„Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“,” GRM, N.F. 48 , pp. 405–433, 1998.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18299
V. Peckhaus, “Platek, Richard A., ‘Kreisel, Generalized Recursion Theory, Stanford and Me’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

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 [Zbl 0894.03002], 103–108,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18297
V. Peckhaus, “Nerode, Anil, ‘An Appreciation of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18296
V. Peckhaus, “Takeuti, Gaisi, ‘Kreisel and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18308
V. Peckhaus, “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,” Zentralblatt für Mathematik und ihre Grenzgebiete. 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18301
V. Peckhaus, “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,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18304
V. Peckhaus, “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,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

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 [Zbl 0894.03002], 247–273,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18309
V. Peckhaus, “Mints, Gregory, ‘Normal Forms for Sequent Derivations’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18303
V. Peckhaus, “McCarty, David, ‘Completeness for Intuitionistic Logic’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18300
V. Peckhaus, “Parikh, Rohit, ‘Some Reminiscences of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96,” Zentralblatt für Mathematik und ihre Grenzgebiete . 1998.
LibreCat | Files available
 

Filters and Search Terms

year=1998

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed