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.
308 Publications
1998 | Journal Article | LibreCat-ID: 34578
Visuelle Spezifikations- und Modellierungstechniken
W. Müller, J. Sturm, It - Information Technology (1998) 32–36.
LibreCat
| DOI
W. Müller, J. Sturm, It - Information Technology (1998) 32–36.
1998 | Book (Editor) | LibreCat-ID: 12849
Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen
R.E. Hagengruber, ed., Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen, Rheinland-Pfalz, 1998.
LibreCat
R.E. Hagengruber, ed., Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen, Rheinland-Pfalz, 1998.
1998 | Book Review | LibreCat-ID: 34769 |
[Rez. v.] Francis Haskell. Die Geschichte und ihre Bilder. Die Kunst und die Deutung der Vergangenheit. Aus dem Englischen übersetzt von Michael Bischoff. Verlag C.H. Beck, München 1995
J. Süßmann, Archiv für Sozialgeschichte 38 (1998) 679–682.
LibreCat
| Download (ext.)
J. Süßmann, Archiv für Sozialgeschichte 38 (1998) 679–682.
1998 | Book Review | LibreCat-ID: 18237
Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 69–76
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18212
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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18233
Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 173–184
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18230
Cellucci, Carlo, “From Closed to Open Systems”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 206–220
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18239
Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 52–72
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18238
Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 11–23
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18228
Brosch, Anette, “TLP 4.0312”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 167–172
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Journal Article | LibreCat-ID: 13064
Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications
S. Hellebrand, A. Hertwig, H.-J. Wunderlich, IEEE Design and Test 15 (1998) 36–41.
LibreCat
S. Hellebrand, A. Hertwig, H.-J. Wunderlich, IEEE Design and Test 15 (1998) 36–41.
1998 | Conference Paper | LibreCat-ID: 13007
Fast Self-Recovering Controllers
A. Hertwig, S. Hellebrand, H.-J. Wunderlich, in: 16th IEEE VLSI Test Symposium (VTS’98), IEEE, Monterey, CA, USA, 1998, pp. 296–302.
LibreCat
| DOI
A. Hertwig, S. Hellebrand, H.-J. Wunderlich, in: 16th IEEE VLSI Test Symposium (VTS’98), IEEE, Monterey, CA, USA, 1998, pp. 296–302.
1998 | Conference Paper | LibreCat-ID: 13008
Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs
S. Hellebrand, H.-J. Wunderlich, V. N. Yarmolik, in: Design Automation and Test in Europe (DATE’98), Paris, France, 1998, pp. 173–179.
LibreCat
| DOI
S. Hellebrand, H.-J. Wunderlich, V. N. Yarmolik, in: Design Automation and Test in Europe (DATE’98), Paris, France, 1998, pp. 173–179.
1998 | Conference Paper | LibreCat-ID: 13063
New Transparent RAM BIST Based on Self-Adjusting Output Data Compression
V. N. Yarmolik, Y. V. Klimets, S. Hellebrand, H.-J. Wunderlich, in: Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), Szczyrk, Poland, 1998, pp. 27–33.
LibreCat
V. N. Yarmolik, Y. V. Klimets, S. Hellebrand, H.-J. Wunderlich, in: Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), Szczyrk, Poland, 1998, pp. 27–33.
1998 | Book Review | LibreCat-ID: 18231
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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
M. Egidi, GRM, N.F. 48 (1998) 405–433.
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18302
Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, 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
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18300
Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18219
Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18242
Hovens, Frans, “Lotze and Frege: The Dating of the ‘Kernsätze’”, In: History and Philosophy of Logic 18 (1997), 17–31
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18220
Whitehead, Alfred North/Russell, Bertrand, "Principia Mathematica to *56", Cambridge University Press: Cambridge 1997
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
1998 | Book Review | LibreCat-ID: 18234
McGinn, Marie, "Wittgenstein and the Philosophical Investigations", Routledge: London 1997
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
| Files available
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (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, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).
LibreCat
V. Peckhaus, Zentralblatt für Mathematik und ihre Grenzgebiete (1998).