[FOM] Constructive Group Theory
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.
From: fom-bounces at cs.nyu.edu [mailto:fom-bounces at cs.nyu.edu] On Behalf Of
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