Constructive Mathematical Analysis (Tuncer Acar, 2019)