Mathematics, Computer Science and Logic - A Never Ending Story - Paule (Springer International Publishing, 2013)