El desarrollo de la teoría de la cuantificación /
Edición de conferencias sobre la teoría de la cuantificación que es una familia de sistemas formales adecuados para la lógica clásica o para otras lógicas. Contenido: 1) El método axiomático; 2) Jacques Herbrand; 3) Gentzen; 4) Deducción natural.
محفوظ في:
| المؤلف الرئيسي: | |
|---|---|
| التنسيق: | كتاب |
| اللغة: | الإسبانية |
| منشور في: |
México :
UNAM, Instituto de Investigaciones Filosóficas,
1976, c1975
|
| سلاسل: | (Cuaderno del Instituto de Investigaciones Filosóficas ;
32) |
| الموضوعات: | |
| الوسوم: |
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
| رقم الاستدعاء: |
511. 3 VAN
|
||
|---|---|---|---|
| Ejemplar 0500150416 |
Disponible
Préstamo 7 días a 90
|
المجموعة:
Colección General
|
ملاحظات:
Ubicar en Nivel 1 Área de Colección General
|