Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica
Gorde:
| Egile Nagusiak: | , |
|---|---|
| Formatua: | Liburua |
| Hizkuntza: | gaztelania |
| Argitaratua: |
Madrid
Trotta
1999
|
| Saila: | Colección Estructuras y Procesos. Serie Filosofía
|
| Gaiak: | |
| Etiketak: |
Etiketa erantsi
Etiketarik gabe, Izan zaitez lehena erregistro honi etiketa jartzen!
|
Biblioteca de Teología -
| Sailkapena: |
160 FAL 1999 |
|---|---|
| Alea 3715442 | Lost/Missing – Noiz arte: 05-04-2020 Jakinarazi |