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.
9522 Publications
1998 | Book Review | LibreCat-ID: 18303 |
McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334
V. Peckhaus, zbMATH Open, Zbl. 0896.03007 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0896.03007 (1998).
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, zbMATH Open, Zbl. 0889.03045 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0889.03045 (1998).
1998 | Book Review | LibreCat-ID: 18309 |
Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492
V. Peckhaus, zbMATH Open, Zbl. 0897.03053 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0897.03053 (1998).
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, zbMATH Open, Zbl. 0894.01011 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0894.01011 (1998).
1998 | Book Review | LibreCat-ID: 18222 |
Russell, Bertrand, Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater, Reprint der Ausgabe von 1919, Routledge: London/New York 1993
V. Peckhaus, zbMATH Open, Zbl. 0877.03001 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0877.03001 (1998).
1998 | Book Review | LibreCat-ID: 18232 |
Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270
V. Peckhaus, zbMATH Open, Zbl. 0877.03011 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0877.03011 (1998).
1998 | Book Review | LibreCat-ID: 18241 |
Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997
V. Peckhaus, zbMATH Open, Zbl. 0879.01015 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0879.01015 (1998).
1998 | Book Review | LibreCat-ID: 18220 |
Whitehead, Alfred North/Russell, Bertrand, Principia Mathematica to *56, Cambridge University Press: Cambridge 1997
V. Peckhaus, zbMATH Open, Zbl. 0877.01042 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0877.01042 (1998).
1998 | Book Review | LibreCat-ID: 18219 |
Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518
V. Peckhaus, ZbMATH Open, Zbl. 0877.01019 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, ZbMATH Open, Zbl. 0877.01019 (1998).
1998 | Book Review | LibreCat-ID: 18307 |
Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415
V. Peckhaus, zbMATH Open, Zbl. 0897.03005 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0897.03005 (1998).
1998 | Book Review | LibreCat-ID: 18234 |
McGinn, Marie, Wittgenstein and the Philosophical Investigations, Routledge: London 1997
V. Peckhaus, zbMATH Open, Zbl. 0878.03002 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0878.03002 (1998).
1998 | Book Review | LibreCat-ID: 18248 |
Beller, Walter, “Logic in Mexico”, In: Santiago Ramirez (ed.), Mexican Studies in the History and Philosophy of Science, Kluwer: Dordrecht 1995 (= Boston Stud. Philos. Sci.; 172), 1–22
V. Peckhaus, zbMATH Open, Zbl. 0884.01017 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0884.01017 (1998).
1998 | Book Review | LibreCat-ID: 18251 |
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
V. Peckhaus, zbMATH Open, Zbl. 0884.03003 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0884.03003 (1998).
1998 | Book Review | LibreCat-ID: 18245 |
Schulz, Klaus-Dieter, Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie, Peter Lang: Frankfurt a.M. u.a. 1997
V. Peckhaus, zbMATH Open, Zbl. 0881.03002 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0881.03002 (1998).
1998 | Book Review | LibreCat-ID: 18253 |
Christidis, Theodor, “Philosophical and Mathematical Premises to the Development of Mechanics of Lagrange”, Nonlinear Analysis, Theory, Methods & Applications 30, No. 4 (1997), 2107–2112
V. Peckhaus, zbMATH Open, Zbl. 0885.01009 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0885.01009 (1998).
1998 | Book Review | LibreCat-ID: 18252 |
Janich, Peter, Euclid’s Heritage: Is Space Three-dimensional?, Dordrecht: Kluwer Academic Publishers 1992 (= The University of Western Ontario Series in Philosophy; 52)
V. Peckhaus, zbMATH Open, Zbl. 0885.00011 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0885.00011 (1998).
1998 | Book Review | LibreCat-ID: 18247 |
Landini, Gregory, “Logic in Russell’s Principles of Mathematics”, Notre Dame Journal of Formal Logic 37, Nr. 4 (1996), 554–584
V. Peckhaus, zbMATH Open, Zbl. 0883.03001 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0883.03001 (1998).
1998 | Book Review | LibreCat-ID: 18271 |
Rodych, Victor, “Wittgenstein on Mathematical Meaningfulness, Decidability, and Application”, Notre Dame Journal of Formal Logic 38 (1997), Nr. 2, 195–224
V. Peckhaus, zbMATH Open, Zbl. 0891.00007 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0891.00007 (1998).
1998 | Book Review | LibreCat-ID: 18246 |
Cobos, J., “A Mathematician out of his Time: Ventura Reyes Prosper”, Extr. Math. 11, Nr. 2 (1996), 306–314
V. Peckhaus, zbMATH Open, Zbl. 0883.01027 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0883.01027 (1998).
1998 | Book Review | LibreCat-ID: 18305 |
Berning, Matthias, "Analysis und Determination. Eine Studie zur Erkenntnistheorie der Mathematik bei Descartes, Hartung-Gorre Verlag: Konstanz 1997
V. Peckhaus, zbMATH Open, Zbl. 0897.00003 (1998).
LibreCat
| Download (ext.)
V. Peckhaus, zbMATH Open, Zbl. 0897.00003 (1998).