Introduction

Abstract

The purpose of this introductory chapter is to provide some information on the background of this book. It sketches important aspects of logic, parallelism, and the combination of these two areas. It is neither an introduction to logic, nor to parallel systems, and the context of the work is mainly outlined by brief remarks and references to established textbooks and publications. Furthermore, this chapter contains a section illuminating the relevance of the work presented, with respect to important aspects of the overall area of computer science. The final section sketches the organizational structure of the book.