> But less of that! Is there a good place to start reading about constructive > group theory? A place to start is the second volume of Troelstra and van Dalen's "Constructivism in mathematics". There must be other sources though, which cover more. With kind regards, Andrej