Title: Semantics, Logics, and Calculi
Subjects: Computer programming, Logic, symbolic and mathematical, Calculus