You are about to access our book library "Logic, Computation and Rigorous Methods: Essays Dedicated to Egon Börger on the Occasion of His 75th Birthday (Lecture Notes in Computer Science Book 12750) full version" .