The logical basis for computer programming - Manna, Zohar; Waldinger, Richard (Reading, Mass. Addison-Wesley, 1985)
v. 1. Deductive reasoning -- v. 2 Deductive systems.
AR Mesa (Recommending faculty) AY2017-2018
Includes bibliographies and indexes.
Keywords: Computer programming; Logic, Symbolic and mathematical