Title: Semantics and logics of computation
Subjects: Electronic data processing, Symbolic and mathematical Logic, Semantics, Programming languages (Electronic computers), Programming languages (electronic computers), Logic, symbolic and mathematical