The deductive foundations of computer programming: a one-volume version of The Logical basis for computer programming/
Manna, Zohar.
Waldinger, Richard.
Reading, Mass. ; Wokingham : Addison-Wesley Pub. Co.,
1990.
Includes bibliographical references (p. ) and indexes.
Electronic digital computers
Logic, Symbolic and mathematical.