Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica
Gardado en:
| Main Authors: | , |
|---|---|
| Formato: | Libro |
| Idioma: | Lingua castelá |
| Publicado: |
Madrid
Trotta
1999
|
| Series: | Colección Estructuras y Procesos. Serie Filosofía
|
| Subjects: | |
| Tags: |
Engadir etiqueta
Sen Etiquetas, Sexa o primeiro en etiquetar este rexistro!
|
Biblioteca de Teología -
| Número de Clasificación: |
160 FAL 1999 |
|---|---|
| Copia 3715442 | Lost/Missing – Vencemento: 05-04-2020 Lembrar isto |