Harold M. Edwards Essays in Constructive Mathematics - Springer Springer 2022 ISBN: 9783030985585 Source: EBOOK