Proceedings of the workshop on proof theory and complexity, PTAC '98, Aarhus, Denmark, August 3--7, 1998
type: Item
instance of: scholarly article
title: Proceedings of the workshop on proof theory and complexity, PTAC '98, Aarhus, Denmark, August 3--7, 1998
zbMATH Open document ID: 0954.00023
DOI: 10.1016/S0168-0072(00)00004-X
published in: Annals of Pure and Applied Logic
publication date: 2001-01-14T00:00:00Z
review text: The articles of this volume will be reviewed individually.
Mathematics Subject Classification ID: 00B25
Mathematics Subject Classification ID: 03-06
zbMATH DE Number: 1501512
zbMATH Keywords: Proceedings
zbMATH Keywords: Workshop
zbMATH Keywords: Proof theory
zbMATH Keywords: Complexity
zbMATH Keywords: PTAC '98
zbMATH Keywords: Aarhus (Denmark)
MaRDI profile type: Publication
description: scientific article; zbMATH DE number 1501512