Title: Semantics And Logics Of Computation
Subjects: Electronic data processing, Programming languages (electronic computers), Logic, symbolic and mathematical