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.

9204 Publications


1998 | Book Review | LibreCat-ID: 18231 | OA
V. Peckhaus, “Cellucci, Carlo, ‘Mathematical Logic: What has it Done for the Philosophy of Mathematics?’, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl. 0894.03002], 365–388.,” zbMATH Open, Zbl. 0877.03007. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18213 | OA
V. Peckhaus, “Delzell, Charles N., ‘Kreisel’s Unwinding of Artin’s Proof’, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 113–246,” zbMATH Open, Zbl. 0876.12002. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18228 | OA
V. Peckhaus, “Brosch, Anette, ‘TLP 4.0312’, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 167–172,” zbMATH Open, Zbl. 0877.03005. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18212 | OA
V. Peckhaus, “Spalt, Detlef D., „Exaktheit als Konstante, Begriffe im Wandel des mathematischen Denkens. Zur Analysis im 19. und 20. Jahrhundert“, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 45–59,” zbMATH Open, Zbl. 0876.00012. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18237 | OA
V. Peckhaus, “Dummett, Michael, ‘Introductory Remarks’, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 69–76,” zbMATH Open, Zbl. 0878.03004. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18244 | OA
V. Peckhaus, “Howard, William A., ‘Some Proof Theory in the 1960’s’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 275–288,” zbMATH Open, Zbl. 0881.01013. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18272 | OA
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,” zbMATH Open, Zbl. 0894.01007. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18275 | OA
V. Peckhaus, “Crick, Francis, ‘Georg Kreisel: A Few Personal Recollections’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32,” zbMATH Open, Zbl. 0894.01010. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18223 | OA
V. Peckhaus, “Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996.,” zbMATH Open, Zbl. 0894.03002. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18273 | OA
V. Peckhaus, “Barwise, Jon, ‘The Right Things for the Right Reasons’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23,” zbMATH Open, Zbl. 0894.01008. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18293 | OA
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,” zbMATH Open, Zbl. 0894.01012. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18299 | OA
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,” zbMATH Open, Zbl. 0895.01008. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18298 | OA
V. Peckhaus, “Sacks, Gerald E., ‘Kreisel, Generalized Recursion Theory and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108,” zbMATH Open, Zbl. 0895.01007. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18294 | OA
V. Peckhaus, “Jockusch, Carl G. jun., ‘A Letter from Professor Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78,” zbMATH Open, Zbl. 0894.01013. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18300 | OA
V. Peckhaus, “Parikh, Rohit, ‘Some Reminiscences of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96,” zbMATH Open, Zbl. 0895.01010. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18297 | OA
V. Peckhaus, “Nerode, Anil, ‘An Appreciation of Kreisel’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88,” zbMATH Open, Zbl. 0895.01006. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18296 | OA
V. Peckhaus, “Takeuti, Gaisi, ‘Kreisel and I’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109,” zbMATH Open, Zbl. 0894.01015. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18295 | OA
V. Peckhaus, “Morley, Michael, ‘Two Insights’, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80,” zbMATH Open, Zbl. 0894.01014. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18301 | OA
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,” zbMATH Open, Zbl. 0895.01011. 1998.
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18302 | OA
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,” zbMATH Open, Zbl. 0896.03005. 1998.
LibreCat | Download (ext.)
 

Filters and Search Terms

department=36

Search

Filter Publications

Display / Sort

Citation Style: IEEE

Export / Embed