Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday

Alexander Raschke , Elvinia Riccobene , Klaus-Dieter Schewe