Title: Equational logic as a programming language
Subjects: Theory of Equations, Symbolic and mathematical Logic, Programming languages (Electronic computers)