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) |
| Предмети: | |
| Теги: |
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Резюме: | 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. |
|---|---|
| Фізичний опис: | 56 p. |