Edmund Husserl is widely regarded as one of the most influential philosophers of the twentieth century.

The founder of phenomenology, the Logical Investigations is his most famous work. Published in two volumes in 1900, it had a decisive impact on the direction of twentieth century philosophy. It is one of the few works to have influenced philosophers as far apart as Frege and Heidegger and had a crucial impact on the development of both continental and analytic philosophy.

Many branches of abstract mathematics have been affected by the modern independence proofs in set theory. This book provides an introduction to relative consistency proofs in axiomatic set theory, and is intended to be used as a text in beginning graduate courses in that subject. It is hoped that this treatment will make the subject accessible to those mathematicians whose research is sensitive to axiomatics.

Professor Koslow advances a new account of the basic concepts of logic. A central feature of the theory is that it does not require the elements of logic to be based on a formal language. Rather, it uses a general notion of implication as a way of organizing the formal results of various systems of logic in a simple, but insightful way. The study has four parts. In the first two parts the various sources of the general concept of an implication structure and its forms are illustrated and explained. Part 3 defines the various logical operations and systematically explores their properties.

This volume constitutes the refereed proceedings of the 24th International Workshop on Computer Science Logic, CSL 2010, held in Brno, Czech Republic, in August 2010. The 33 full papers presented together with 7 invited talks, were carefully reviewed and selected

from 103 submissions.