The logical basis for computer programming /
Manna, Zohar.
Waldinger, Richard.
Reading, Mass. ; Wokingham : Addison-Wesley,
c1985-c1990.
Includes bibliographies and indexes.
v. 1. Deductive reasoning -- v. 2 Deductive systems.
Electronic digital computers
Logic, Symbolic and mathematical.