The Definitional View of Atomic Systems in Proof-Theoretic Semantics

Author:

Schroeder-Heister, Peter; Piecha, Thomas

Tübinger Autor(en):

Issue year:

2017

Verlagsangabe:

London : College Publications

Language:

English

DDC Classifikation:

004 - Data processing and computer science

Dokumentart:

Buch (einzelnes Kapitel)

Published in:

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

Page range:

185-200

This item appears in the following Collection(s)