Handbook of constructive mathematics. - Cambridge University Press, 2023. - ( Encyclopedia of Mathematics and its Appl. /CUP ; 185).