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
Müller, W., & Sturm, J. (1998). Visuelle Spezifikations- und Modellierungstechniken. It - Information Technology, 32–36. https://doi.org/10.1524/itit.1998.40.3.32
LibreCat
| DOI
1998 | Book (Editor) | LibreCat-ID: 12849
Hagengruber, R. E. (Ed.). (1998). Wissen und Handeln: Ein Lehrbuch zur Geschichte der Ethik für den Gymnasialunterricht unter Berücksichtigung der Schriften von Philosophinnen.
LibreCat
1998 | Book Review | LibreCat-ID: 34769 | 
Süßmann, J. (1998). [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. In Archiv für Sozialgeschichte (Vol. 38, pp. 679–682).
LibreCat
| Download (ext.)
1998 | Book Review | LibreCat-ID: 18237
Peckhaus, V. (1998). Dummett, Michael, “Introductory Remarks”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 69–76. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0878.03004).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18212
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0876.00012).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18233
Peckhaus, V. (1998). Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 173–184. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0878.00006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18230
Peckhaus, V. (1998). Cellucci, Carlo, “From Closed to Open Systems”, in: Czermak (Hg.) 1993 [Zbl 0836.00022], 206–220. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.03006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18239
Peckhaus, V. (1998). Maddy, Penelope, “Wittgenstein’s Anti-Philosophy of Mathematics”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 52–72. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0878.03006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18238
Peckhaus, V. (1998). Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 11–23. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0878.03005).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18228
Peckhaus, V. (1998). Brosch, Anette, “TLP 4.0312”, in: Puhl (Hg.) 1993 [Zbl 0836.00023], 167–172. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.03005).
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 13064
Hellebrand, S., Hertwig, A., & Wunderlich, H.-J. (1998). Synthesis of Fast On-Line Testable Controllers for Data-Dominated Applications. IEEE Design and Test, 15(4), 36–41.
LibreCat
1998 | Conference Paper | LibreCat-ID: 13007
Hertwig, A., Hellebrand, S., & Wunderlich, H.-J. (1998). Fast Self-Recovering Controllers. 16th IEEE VLSI Test Symposium (VTS’98), 296–302. https://doi.org/10.1109/vtest.1998.670883
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13008
Hellebrand, S., Wunderlich, H.-J., & N. Yarmolik, V. (1998). Self-Adjusting Output Data Compression: An Efficient BIST Technique for RAMs. Design Automation and Test in Europe (DATE’98), 173–179. https://doi.org/10.1109/date.1998.655853
LibreCat
| DOI
1998 | Conference Paper | LibreCat-ID: 13063
N. Yarmolik, V., V. Klimets, Y., Hellebrand, S., & Wunderlich, H.-J. (1998). New Transparent RAM BIST Based on Self-Adjusting Output Data Compression. Design & Diagnostics of Electronic Circuits & Systems (DDECS’98), 27–33.
LibreCat
1998 | Book Review | LibreCat-ID: 18231
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.03007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18213
Peckhaus, V. (1998). Delzell, Charles N., “Kreisel’s Unwinding of Artin’s Proof”, in P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 113–246. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0876.12002).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18244
Peckhaus, V. (1998). Howard, William A., “Some Proof Theory in the 1960’s”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 275–288. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0881.01013).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18223
Peckhaus, V. (1998). Odifreddi, Piergiorgio (ed.), Kreiseliana: about and around Georg Kreisel, A.K. Peters: Wellesley, MA 1996 [Zbl. 0894.03002]. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0894.03002).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18274
Peckhaus, V. (1998). Burdman Feferman, Anita, “Kreisel on the Telephone: An Appreciation”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 43–49. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01009).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18272
Peckhaus, V. (1998). Barendregt, Henk, “Kreisel, Lambda Calculus, a Windmill and a Castle”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 3–14. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18270
Peckhaus, V. (1998). Feferman, Solomon, “Kreisel’s ‘Unwinding’ Program”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 889.03045).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18273
Peckhaus, V. (1998). Barwise, Jon, “The Right Things for the Right Reasons”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 15–23. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01008).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18275
Peckhaus, V. (1998). Crick, Francis, “Georg Kreisel: A Few Personal Recollections”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 25–32. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01010).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18292
Peckhaus, V. (1998). Crossley, John N., “Kreisel’s Effectiveness”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 33–41. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01011).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18293
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01012).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18294
Peckhaus, V. (1998). Jockusch, Carl G. jun., “A Letter from Professor Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 77–78. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01013).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18295
Peckhaus, V. (1998). Morley, Michael, “Two Insights”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 79–80. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01014).
LibreCat
| Files available
1998 | Journal Article | LibreCat-ID: 31516
Egidi, M. (1998). „Textuelle Verfahrensweisen in Minnespruchstrophen von Reinmar von Zweter bis Frauenlob“. GRM, N.F. 48 , 405–433.
LibreCat
1998 | Book Review | LibreCat-ID: 18299
Peckhaus, V. (1998). Platek, Richard A., “Kreisel, Generalized Recursion Theory, Stanford and Me”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 97–102. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01008).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18298
Peckhaus, V. (1998). Sacks, Gerald E., “Kreisel, Generalized Recursion Theory and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 103–108. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18297
Peckhaus, V. (1998). Nerode, Anil, “An Appreciation of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 81–88. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18296
Peckhaus, V. (1998). Takeuti, Gaisi, “Kreisel and I”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 107–109. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 894.01015).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18308
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 897.03006).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18301
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01011).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18304
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03012).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18302
Peckhaus, V. (1998). Luckhardt, Horst, “Bounds Extracted by Georg Kreisel from Ineffective Proofs”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 247–273. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03005).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18309
Peckhaus, V. (1998). Mints, Gregory, “Normal Forms for Sequent Derivations”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 469–492. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 897.03053).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18303
Peckhaus, V. (1998). McCarty, David, “Completeness for Intuitionistic Logic”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 301–334. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 896.03007).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18300
Peckhaus, V. (1998). Parikh, Rohit, “Some Reminiscences of Kreisel”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 89–96. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 895.01010).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18307
Peckhaus, V. (1998). Odifreddi, Piergiorgio, “Kreisel’s Church”, in: P. Odifreddi (ed.), Kreiseliana, Wellesley, MA 1996 [Zbl 0894.03002], 389–415. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 897.03005).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18219
Peckhaus, V. (1998). Deakin, Michael A.B., “Boole’s Mathematical Blindness”, Math. Gaz. 80 (1996), 511–518. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.01019).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18222
Peckhaus, V. (1998). Russell, Bertrand, “Introduction to Mathematical Philosophy. With a New Introduction by John G. Slater”, Reprint der Ausgabe von 1919, Routledge: London/New York 1993. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.03001; Erstdruck mit falscher bibliographischer Angabe Zbl. 865.03001).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18232
Peckhaus, V. (1998). Sandu, Gabriel, “IF First-Order Logic, Kripke, and 3-Valued Logic”, in: J. Hintikka, The Principles of Mathematics Revisited, Cambridge 1996, 254–270. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.03011).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18241
Peckhaus, V. (1998). Lorenz, Stefan, "De mundo optimo: Studien zu Leibniz’ Theodizee und ihrer Rezeption in Deutschland (1710–1791)", Franz Steiner Verlag: Stuttgart 1997. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0879.01015).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18242
Peckhaus, V. (1998). Hovens, Frans, “Lotze and Frege: The Dating of the ‘Kernsätze’”, In: History and Philosophy of Logic 18 (1997), 17–31. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0880.01005).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18220
Peckhaus, V. (1998). Whitehead, Alfred North/Russell, Bertrand, “Principia Mathematica to *56”, Cambridge University Press: Cambridge 1997. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0877.01042).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18234
Peckhaus, V. (1998). McGinn, Marie, “Wittgenstein and the Philosophical Investigations”, Routledge: London 1997. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0878.03002).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18248
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0884.01017).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18245
Peckhaus, V. (1998). Schulz, Klaus-Dieter, “Die These von Church. Zur erkenntnistheoretischen und sprachphilosophischen Bedeutung der Rekursionstheorie”, Peter Lang: Frankfurt a.M. u.a. 1997. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 0881.03002).
LibreCat
| Files available
1998 | Book Review | LibreCat-ID: 18251
Peckhaus, V. (1998). 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. In Zentralblatt für Mathematik und ihre Grenzgebiete (Zbl. 884.03003).
LibreCat