2014 | OriginalPaper | Chapter
2. Mathematical Background
Published in:
Programming Languages and Operational Semantics
Abstract
We start this chapter with a summary of basic concepts and notations for sets and first-order logic formulas, which will be used in the rest of the book.