Title: Computation as logic
Subjects: Functional programming (Computer science), Logic programming, Symbolic and mathematical Logic