[FOM] Constructive Group Theory

Robert Lubarsky lubarsky.robert at comcast.net
Sat Apr 2 19:08:14 EDT 2011

There's also "A Course in Constructive Algebra," by Mines, Richman, and
Ruitenburg, Springer '88.

Bob Lubarsky

-----Original Message-----
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of
Andrej Bauer
Sent: Saturday, April 02, 2011 2:45 AM
To: Foundations of Mathematics
Cc: T.Forster at dpmms.cam.ac.uk
Subject: Re: [FOM] Constructive Group Theory

> But less of that! Is there a good place to start reading about
> 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,

FOM mailing list
FOM at cs.nyu.edu

More information about the FOM mailing list