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.
Enregistré dans:
| Auteur principal: | |
|---|---|
| Format: | Livre |
| Langue: | espagnol |
| Publié: |
México :
UNAM, Instituto de Investigaciones Filosóficas,
1976, c1975
|
| Collection: | (Cuaderno del Instituto de Investigaciones Filosóficas ;
32) |
| Sujets: | |
| Tags: |
Pas de tags, Soyez le premier à ajouter un tag!
|
Soyez le premier à ajouter un commentaire!