This book is a product of two seminars held in the IBM World Trade European
Education Center of Blaricum (Holland) in 1961, the first of which was
dedicated to a general survey of non-numerical applications of computers
whereas the second was more specifically concerned with some aspects of
the theory of formal systems. Professor E. W. Beth, who took part in both
seminars, was kind enough to sponsor the publication of the proceedings
in the “Studies of Logic and Foundations of Mathematics”. Rather than
publishing everything, a choice was made on the basis of relevance to the
subject matter described in the title of this volume. Most authors preferred
moreover to present a revised version of their contributions.