The Definitional View of Atomic Systems in Proof-Theoretic Semantics

Autor(en):

Schroeder-Heister, Peter; Piecha, Thomas

Tübinger Autor(en):

Erscheinungsjahr:

2017

Verlagsangabe:

London : College Publications

Sprache:

Englisch

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Teil eines Buches

Erschienen in:

P. Arazim and T. Lavicka (eds), The Logica Yearbook 2016

Seitenbereich:

185-200

Das Dokument erscheint in: