Basic Constructive-Computational Theory and Methods - Huishi Li (Taylor and Francis, 2021)