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

Author:

Schroeder-Heister, Peter

Tübinger Autor(en):

Issue year:

2021

Verlagsangabe:

Springer

Language:

English

ISBN:

978-3-030-77656-5

DDC Classifikation:

004 - Data processing and computer science

Dokumentart:

BookPart

Published in:

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

This item appears in the following Collection(s)