Handbook of Logic in Computer Science: Volume 3. Semantic Structures

Semantic Structures in Logic and Computation

This handbook volume delves into the fundamental topics of semantics within the realms of logic and computation. The chapters, some of which are monographic in length, have been meticulously crafted over years of coordination, presenting a cohesive thematic viewpoint. This volume equips the reader with knowledge of frontline research, making it an indispensable resource for any serious researcher in these areas.