Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica
محفوظ في:
| المؤلفون الرئيسيون: | , |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإسبانية |
| منشور في: |
Madrid
Trotta
1999
|
| سلاسل: | Colección Estructuras y Procesos. Serie Filosofía
|
| الموضوعات: | |
| الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| وصف مادي: | 482 p |
|---|