Truth, deduction, and computation : logic and semantics for computer science - Davis, R.E. (New York : Computer Science Press, 1989)
Index.
Bibliography.
Keywords: Programming languages (Electronic computers) -- Semantics -- Congresses; Logic, Symbolic and mathematical; Electronic data processing