Quantum Logic deals with the foundations of quantum mechanics and,
related to it, the behaviour of finite, discrete deterministic systems.
The quantum logical approach is particulalry suitable for the
investigation and exclusion of certain hidden parameter models of
quantum mechanics. Conversely, it can be used to embed quantum universes
into classical ones. It is also highly relevant for the characterization
of finite automation. This book has been written with a broad readership
in mind. Great care has been given to the motivation of the concepts and
to the explicit and detailed discussions of examples.