Text this: Mathematics, computer science and logic - a never ending story :