Axiomatic Thinking, Identity of Proofs and the Quest for an Intensional Proof-Theoretic Semantics
Book chapter (September 2022)
The most recent citing publications are shown below. View all 4 publications that cite this research output on Dimensions.
Book chapter (September 2022)
Monograph (January 2014)
Book chapter (January 2006)