Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics

Autor(en):

Schroeder-Heister, Peter

Tübinger Autor(en):

Erscheinungsjahr:

2021

Verlagsangabe:

Springer

Sprache:

Englisch

ISBN:

978-3-030-77656-5

DDC-Klassifikation:

004 - Informatik

Dokumentart:

Teil eines Buches

Erschienen in:

Ferreira, F., Kahle, R., Sommaruga, G. (Eds.): Axiomatic Thinking I

Das Dokument erscheint in: