This book is a course in Stone-Priestley duality theory, with applications to logic and theoretical computer science. Our target audience are graduate students and researchers in mathematics and computer science. Our aim is to get in a fairly full palette of duality tools as directly and quickly as possible, then to illustrate and further elaborate these tools within the setting of three emblematic applications: semantics of propositional logics, domain theory in logical form, and the theory of profinite monoids for the study of regular languages and automata.

翻译：本书是一本关于Stone-Priestley对偶理论的课程教材，涵盖其在逻辑学与理论计算机科学中的应用。目标读者为数学与计算机科学领域的研究生及科研人员。我们的目标是以尽可能直接且高效的方式呈现一套较为完整的对偶工具集，进而通过三个标志性应用场景对这些工具进行阐释与深化：命题逻辑的语义学、逻辑形式下的域理论，以及用于正则语言与自动机研究的有限单群理论。