Title: Truth, deduction, and computation
Subjects: Electronic data processing, Programming languages (Electronic computers), Semantics, Symbolic and mathematical Logic, Logic, symbolic and mathematical