×

zbMATH — the first resource for mathematics

Special issue: Festschrift on the occasion of Helmut Schwichtenberg’s 60th birthday. Papers based on the presentation at the minisymposium ‘Ein Bogen von der Beweistheorie zur Informatik’, Munich, Germany, April 5, 2002. (English) Zbl 1078.03502
The articles of this volume will be reviewed individually.
MSC:
03-06 Proceedings, conferences, collections, etc. pertaining to mathematical logic and foundations
68-06 Proceedings, conferences, collections, etc. pertaining to computer science
00B25 Proceedings of conferences of miscellaneous specific interest
Biographic References:
Schwichtenberg, Helmut
PDF BibTeX XML Cite
Full Text: DOI