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