Title: The logical basis for computer programming
Subjects: Computer programming, Symbolic and mathematical Logic