Title: Truth, Deduction, and Computation
Subjects: Electronic data processing, Symbolic and mathematical Logic, Semantics, Programming languages (Electronic computers)