Title: Handbook of Constructive Mathematics