1
Logic, Computation and Rigorous Methods [E-Book] : Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday /