Title: Lectures on the logic of computer programming
Subjects: Computer programming, Symbolic and mathematical Logic, Programming (mathematics)