A bibliography of constructive mathematics
The following are links to (small) bibliographies for various aspects of
constructive mathematics, mostly reflecting my own interests.
They are handy to have easily accessible
and searchable on the net. I hope they may be useful to some of
my colleagues also. Constributions and corrections are welcome!
Home pages of some researchers in the foundations of mathematics and
constructivism:
Mathematical
logic around the world (Bonn)
Mathematical
Logic at Uppsala
1991 Mathematical Subjects
Classification
8 September 1999, Erik Palmgren