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.

9037 Publications


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

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

1998 | Book Review | LibreCat-ID: 18223
Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002]
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat | Files available
 

1998 | Book Review | LibreCat-ID: 18274
Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat | Files available
 

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

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

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

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

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

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

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

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

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

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

1998 | Book Review | LibreCat-ID: 18298
Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat | Files available
 

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

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

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

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

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

Filters and Search Terms

department=36

Search

Filter Publications

Display / Sort

Export / Embed