Essays in Constructive Mathematics - Edwards, Harold M.; Cox, David A. (Cham Springer International Publishing AG, 2022)