00787nam 2200265 450 991074589440332120231023155839.0978131651086520231023d2023----km-y0itay50------baengGBa-------001yyHandbook of Constructive MathematicsCambridgeCambridge University Press2023XIX, 841 p.ill.25 cmPart of Encyclopedia of Mathematics and its ApplicationsBridges,Douglas441862Ishihara,HajimeITUNINARICAUNIMARCBK991074589440332113 SC I P 774617 / 2023FINBCFINBCHandbook of Constructive Mathematics3572861UNINA