Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios
Tallennettuna:
| Päätekijät: | , |
|---|---|
| Aineistotyyppi: | Kirja |
| Kieli: | espanja |
| Julkaistu: |
Madrid
Trotta
1999
|
| Sarja: | Colección Estructuras y Procesos. Serie Filosofía
|
| Aiheet: | |
| Tagit: |
Lisää tagi
Ei tageja, Lisää ensimmäinen tagi!
|
Lisää ensimmäinen kommentti!