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

dc.contributor.author	Schroeder-Heister, Peter
dc.date.accessioned	2022-02-17T16:09:01Z
dc.date.available	2022-02-17T16:09:01Z
dc.date.issued	2021
dc.identifier.isbn	978-3-030-77656-5
dc.identifier.uri	http://hdl.handle.net/10900/124673
dc.language.iso	en	de_DE
dc.publisher	Springer	de_DE
dc.subject.ddc	004	de_DE
dc.title	Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics	de_DE
dc.type	BookPart	de_DE
utue.personen.roh	Schroeder-Heister, Peter
utue.publikation.buchdesbeitrags	Ferreira, F., Kahle, R., Sommaruga, G. (Eds.): Axiomatic Thinking I	de_DE