Buchholz, Wilfried (ed.); Kahle, Reinhard (ed.) 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 Ann. Pure Appl. Logic 133, No. 1-3, 340 p. (2005). 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 \textit{W. Buchholz} (ed.) and \textit{R. Kahle} (ed.), Ann. Pure Appl. Logic 133, No. 1--3, 340~p. (2005; Zbl 1078.03502) Full Text: DOI