The logical basis for computer programming. Volume 1: Deductive reasoning : by Zohar Manna and Richard Waldinger. Addison-Wesley, Reading, MA, 1985, 618 pages.

✍ Scribed by C. Morgan

• Publisher: Elsevier Science
• Year: 1987
• Tongue: English
• Weight: 233 KB
• Volume: 9
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/0167-6423(87)90014-1