| Original language | English |
|---|---|
| Number of pages | 1 |
| Journal | Annals of Pure and Applied Logic |
| Volume | 75 |
| Issue number | 1-2 |
| DOIs | |
| Publication status | Published - 12 Sept 1995 |
Funding
The papers contained in this Special Issue derive from invited papers presented at the Conference on Proof Theory, Provability Logic, and Computation, 20-24 March 1994, Berne, Switzerland. All of the papers were refereed in the usual manner; we thank the authors and the referees for their efforts. We are grateful to the following institutions for their financial support: Max & Elsa Beer-Brawand-Fonds, Schweizerischer Nationalfonds, Ascom Tech AG, Schweizerische Mobiliar Versicherungen, Migros Genossenschaftsbund.