Proof Theory

DSpace Repository

Proof Theory

Author: Piecha, Thomas; Schroeder-Heister, Peter
Tübinger Autor(en):
Piecha, Thomas
Schroeder-Heister, Peter
Published in: Proceedings of the Workshop held at Unilog'2018 in Vichy, 25 June 2018 (2018-08-28), Bd.
Language: English
Full text: http://dx.doi.org/10.15496/publikation-25225
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Dokumentart: Artikel
Show full item record

This item appears in the following Collection(s)