Text this: Foundation of costructive analysis - Errett Bishop