Since the time of the publication of Wigner’s article, computer science has undergone a rapid, wide- ranging, and far-reaching development. Just as in the natural sciences, mathematics has been highly effectivein computer science. In particular, several areas of mathematics, including linear algebra, number theory,probability theory, graph theory, and combinatorics, have been instrumental in the development of computerscience. Unlike the natural sciences, however, computer science has also benefitted from an extensive andcontinuous interaction with logic. As a matter of fact, logic has turned out to be significantly more effectivein computer science than it has been in mathematics. This is quite remarkable, especially since much of theimpetus for the development of logic during the past one hundred years came from mathematics.