Essays in Constructive Mathematics - Harold M. Edwards (Springer, 2022)