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.

726 Publications


1998 | Book Review | LibreCat-ID: 18230 | OA
Cellucci, Carlo, “From Closed to Open Systems”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 206–220
V. Peckhaus, zbMATH Open, Zbl. 0877.03006 (1998).
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18269 | OA
Schroeder-Heister, Peter, “Frege and the Resolution Calculus”, History and Philosophy of Logic 18 (1997), 95–108
V. Peckhaus, ZbMATH Open, Zbl. 0889.03002 (1998).
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18238
Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 11–23
V. Peckhaus, ZbMATH Open, Zbl. 0878.03005 (1998).
LibreCat | Download (ext.)
 

1998 | Book Review | LibreCat-ID: 18231 | OA
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.
V. Peckhaus, zbMATH Open, Zbl. 0877.03007 (1998).
LibreCat | Download (ext.)
 

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

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

1998 | Book Review | LibreCat-ID: 18212 | OA
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
V. Peckhaus, zbMATH Open, Zbl. 0876.00012 (1998).
LibreCat | Download (ext.)
 

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

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

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

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

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

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

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

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

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

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

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

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

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

Filters and Search Terms

department=520

Search

Filter Publications

Display / Sort

Export / Embed