Proceedings of the workshop on proof theory and complexity, PTAC '98, Aarhus, Denmark, August 3--7, 1998
The articles of this volume will be reviewed individually.
scientific article; zbMATH DE number 1501512