=
وزارة التعليم العالي و البحث العلمي
Ministry of Higher Education and Scientific Research
| اسم الكتاب | computability theory,semantics,and logic programming |
|---|---|
| اسم المؤلف | melvin fitting |
| بلد النشر | oxford |
| دار النشر | oxford university press |
| سنة النشر | 1987 |
| الواصفات | |