@book{45424, author = {Paule, Peter. and SpringerLink (Online service)}, title = {Mathematics, Computer Science and Logic - A Never Ending Story}, publisher = {Springer International Publishing :}, year = {2013.}, address = {Cham :}, url = {http://dx.doi.org/10.1007/978-3-319-00966-7} }