[FOM] Constructive Group Theory

Andrej Bauer andrej.bauer at andrej.com
Sat Apr 2 02:45:21 EDT 2011

> 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,


More information about the FOM mailing list