Logic has now become widely known as one of the core disciplines of computing, and its applications reach almost every aspect of the subject, from software and hardware engineering to programming languages and artificial intelligence. The Handbook of Logic in Computer Science is a multi-volume work covering all major areas of the application of logic to theoretical computer science. The book consists of six volumes, each containing five or six chapters giving an in-depth overview of one of the main topics in this field. It is the result of many years of collaborative effort by some of the foremost researchers at the forefront of this field, and will undoubtedly be the standard reference work in logic and theoretical computer science for years to come. Volume 3: Significance Structures covers all the basic topics of semantics in logic and calculus. Comprehensive classes are the result of several years of coordinated research, each with a thematic perspective. Together, they present the reader with the latest research work, and the book will be indispensable to anyone seriously engaged in this topic. Read more