Mathematical Logic and Programming Languages [Displayed chronologically; published out of order] || Deductive Learning [and Discussion]

✍ Scribed by L. G. Valiant and J. C. Shepherdson

• Book ID: 123638812
• Publisher: The Royal Society
• Year: 1984
• Tongue: English
• Weight: 865 KB
• Volume: 312
• Category: Article
• ISSN: 0264-3952
• DOI: 10.2307/37444