General Proof Theory: Introduction

DSpace Repository

General Proof Theory: Introduction

Author: Schroeder-Heister, Peter; Piecha, Thomas
Tübinger Autor(en):
Schroeder-Heister, Peter
Piecha, Thomas
Published in: Studia Logica (2019), Bd. 107, H. 1, S. 1-5
Language: English
Full text: https://dx.doi.org/10.1007/s11225-018-9818-4
DDC Classifikation: 004 - Data processing and computer science
100 - Philosophy
510 - Mathematics
Dokumentart: Article
Show full item record

This item appears in the following Collection(s)