Logic, Computation and Rigorous Methods - Alexander Raschke, Elvinia Riccobene, Klaus-Dieter Schewe (Springer, 2021)