『Handbook of Constructive Mathematics』
https://gyazo.com/7226a8d7105ae1e41dff411192e10f57
2023/2/28
Douglas Bridges
編集
Hajime Ishihara
編集
Michael Rathjen
編集
Helmut Schwichtenberg
編集
構成的数学
ここ
でみた