Atomic systems in proof-theoretic semantics : Two approaches

Autor(en):

Piecha, T.; Schroeder-Heister, P.

Tübinger Autor(en):

Erscheinungsjahr:

2016

Reihe:

Logic, Epistemology, and the Unity of Science;38

Verlagsangabe:

Cham : Springer

Sprache:

Englisch

Referenz zum Volltext:

ISBN:

978-3-319-26504-9
978-3-319-26506-3

DDC-Klassifikation:

004 - Informatik
100 - Philosophie
510 - Mathematik

Dokumentart:

Teil eines Buches

Erschienen in:

Epistemology, knowledge and the impact of interaction

Seitenbereich:

47-62

Das Dokument erscheint in: