Lógica clásica de primer orden: estrategias de deducción, formalización y evaluación semántica. Soluciones a los ejercicios
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | Spanisch |
| Veröffentlicht: |
Madrid
Trotta
1999
|
| Schriftenreihe: | Colección Estructuras y Procesos. Serie Filosofía
|
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
Schreiben Sie den ersten Kommentar!