General Proof Theory: Introduction

DSpace Repositorium (Manakin basiert)

General Proof Theory: Introduction

Autor(en): Schroeder-Heister, Peter; Piecha, Thomas
Tübinger Autor(en):
Schroeder-Heister, Peter
Piecha, Thomas
Erschienen in: Studia Logica (2019), Bd. 107, H. 1, S. 1-5
Sprache: Englisch
Referenz zum Volltext: https://dx.doi.org/10.1007/s11225-018-9818-4
DDC-Klassifikation: 004 - Informatik
100 - Philosophie
510 - Mathematik
Dokumentart: Wissenschaftlicher Artikel
Zur Langanzeige

Das Dokument erscheint in: