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)
Book chapter (August 2015)
Monograph (January 2014)