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.
Kaydedildi:
| Yazar: | |
|---|---|
| Materyal Türü: | Kitap |
| Dil: | İspanyolca |
| Baskı/Yayın Bilgisi: |
México :
UNAM, Instituto de Investigaciones Filosóficas,
1976, c1975
|
| Seri Bilgileri: | (Cuaderno del Instituto de Investigaciones Filosóficas ;
32) |
| Konular: | |
| Etiketler: |
Etiket eklenmemiş, İlk siz ekleyin!
|
| Özet: | 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. |
|---|---|
| Fiziksel Özellikler: | 56 p. |