Dialogical Logic for Definitonal Reasoning and Implications as Rules

Autor(en):

Schroeder-Heister, Peter; Piecha, Thomas

Tübinger Autor(en):

Erscheinungsjahr:

2015

Verlagsangabe:

Mentis

Sprache:

Englisch

DDC-Klassifikation:

004 - Informatik
100 - Philosophie

Dokumentart:

Teil eines Buches

Erschienen in:

Dialogische Logik

Seitenbereich:

91-125

Das Dokument erscheint in: