You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output.
Click here to find out more.
Timeline
Chapter title |
Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
|
---|---|
Chapter number | 8 |
Book title |
Axiomatic Thinking I
|
Published by |
Springer, Cham, January 2022
|
DOI | 10.1007/978-3-030-77657-2_8 |
Book ISBNs |
978-3-03-077656-5, 978-3-03-077657-2
|
Authors |
Schroeder-Heister, Peter |