Title: Logic and structured design for computer programmers
Subjects: Computer programming, Structured programming, Symbolic and mathematical Logic