Proof-theoretic validity based on elimination rules

Autor(en):

Schroeder-Heister, Peter

Tübinger Autor(en):

Erschienen in:

Why is this a Proof? Festschrift for Luiz Carlos Pereira (2015), Bd. , S. 159-176

Verlagsangabe:

London: College Publications

Sprache:

Englisch

ISBN:

978-1-84890-172-8

DDC-Klassifikation:

004 - Informatik
100 - Philosophie

Dokumentart:

Wissenschaftlicher Artikel

Das Dokument erscheint in: