Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios
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!
|
Izan zaitez lehena ohar bat uzten!