Text this: Mathematics, Computer Science and Logic - A Never Ending Story