Logic, Computation and Rigorous Methods : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday - Raschke, Alexander (Springer International Publishing, 2021)