 | Up a level |
Jäger, Gerhard (2023). Identity, Equality, and Extensionality in Explicit Mathematics. In: Bridges, Douglas; Ishihara, Hajime; Rathjen, Michael; Schwichtenberg, Helmut (eds.) Handbook of Constructive Mathematics. Encyclopedia of Mathematics and its Applications (pp. 564-583). Cambridge University Press 10.1017/9781009039888.022
