Ishihara, Hajime

Up a level
Export as [feed] RSS
Group by: Item Type | No Grouping
Number of items: 1.

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

This list was generated on Mon Nov 25 07:09:08 2024 CET.
Provide Feedback