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.

13667 Publications


1998 | Conference Paper | LibreCat-ID: 8286
Model Checking Graph-Interpreted Temporal Formulas
F. Gadducci, R. Heckel, M. Koch, in: Proceedings of the 6th International Workshop on Theory and Application of Graph Transformation (TAGT 1998), Paderborn (Germany), Paderborn, 1998.
LibreCat
 

1998 | Encyclopedia Article | LibreCat-ID: 17646
Gentzen, Gerhard Karl Erich (1909–45)
V. Peckhaus, in: E. Craig (Ed.), Routledge Encyclopedia of Philosophy, Bd. 4: Genealogy to Iqbal, Routledge, London/ New York, 1998, pp. 23–25.
LibreCat
 

1998 | Conference Abstract | LibreCat-ID: 17879
The Heuristic Function of the Axiomatic Method [Abstract]
V. Peckhaus, in: S. Dawson, u. a. (Eds.), Twentieth World Congress of Philosophy. Abstracts of Invited and Contributed Papers, Boston, 1998, p. 156.
LibreCat
 

1998 | Book Review | LibreCat-ID: 18226
Boole, George, Selected Manuscripts on Logic and its Philosophy, hg. v. Ivor Grattan-Guinness/Gérard Bornet, Birkhäuser: Basel 1997
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 877.03003] (1998).
LibreCat
 

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 [Zbl. 877.01019] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18245 LibreCat
 

1998 | Book Review | LibreCat-ID: 18233
Murawski, Roman, “On the Philosophical Meaning of Reverse Mathematics”, in: Czermak (Hg.) 1993 [9.4], 173–184
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.00006] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18238
Wang, Hao, “What is Logic?”, in: Puhl (Hg.) 1993 [9.5], 11–23
V. Peckhaus, Zentralblatt Für Mathematik Und Ihre Grenzgebiete [Zbl. 878.03005] (1998).
LibreCat
 

1998 | Book Review | LibreCat-ID: 18252 LibreCat
 

1998 | Book Review | LibreCat-ID: 18271 LibreCat
 

Filters and Search Terms

status=public

Search

Filter Publications

Display / Sort

Export / Embed