7/20/2008 02:04:00 AM
E.A. Bishop and D.S. Bridges, Constructive Mathematics, Grundlehren der
math. Wissenschaften 279, Springer-Verlag, Heidelberg, 1985.
Was #58_OR.
Posted by Paul at 7/20/2008 01:03:00 AM
math. Wissenschaften 279, Springer-Verlag, Heidelberg, 1985.
Was #58_OR.
Posted by Paul at 7/20/2008 01:03:00 AM