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

DSpace Repository

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

Author: Schroeder-Heister, Peter
Tübinger Autor(en):
Schroeder-Heister, Peter
Issue year: 2021
Verlagsangabe: Springer
Language: English
ISBN: 978-3-030-77656-5
DDC Classifikation: 004 - Data processing and computer science
Dokumentart: Buch (einzelnes Kapitel)
Published in: Ferreira, F., Kahle, R., Sommaruga, G. (Eds.): Axiomatic Thinking I
Show full item record

This item appears in the following Collection(s)