دانلود کتاب Logic: Form and function - The Mechanization of Deductive Reasoning
| عنوان فارسی | منطق: شکل و عملکرد - مکانیزاسیون استدلال قیاسی |
|---|---|
| عنوان اصلی | Logic: Form and function - The Mechanization of Deductive Reasoning |
| ناشر | Edinburgh Univ. |
| نویسنده | Robinson J.A. |
| ISBN | 0852243057, 9780852243053 |
| سال نشر | 1979 |
| زبان | English |
| تعداد صفحات | 316 |
| فرمت کتاب | djvu - قابل تبدیل به سایر فرمت ها |
| حجم فایل | 2 مگابایت |
* نکته : همۀ کتاب های موجود در وبسایت زبان اصلی می باشد و کتاب ترجمه فارسی موجود نمی باشد.
توضیحات
فهرست مطالب
اطلاعات قبل از خربد