THE LOGICAL BASIS FOR COMPUTER PROGRAMMING - Manna, Zohar; Waldinger, Richard (Reading, Mass. Addison-Wesley, 1985)
Contents. -- V. 1. Deductive Reasoning. -- V. 2. Deductive Techniques
Keywords: Programming (Electronic Digital Computers); Logic, Symbolic And Mathematical