The logical basis for computer programming, vol. 2: Deductive systems : Zohar Manna and Richard Waldinger, (Addison-Wesley, Wokingham, United Kingdom, 1990), Price £30.55 (hardback), ISBN 0-201-1826-1.

✍ Scribed by Carroll Morgan

• Publisher: Elsevier Science
• Year: 1991
• Tongue: English
• Weight: 435 KB
• Volume: 16
• Category: Article
• ISSN: 0167-6423
• DOI: 10.1016/0167-6423(91)90017-r