Logic programming based on a natural deduction system
By: Seif Haridi
Published: 1981
Language: eng
Number of pages: 201
Notes: Thesis (doctoral)--Royal Institute of Technology, 1981.