Lógica clásica de primer orden : Estrategias de deducción, formalización y evaluación semántica
Saved in:
Main Author: | |
---|---|
Other Authors: | |
Format: | Book |
Language: | Spanish |
Published: |
Madrid :
Trotta,
1999.
|
Series: | Estructuras y Procesos.
|
Subjects: | |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Biblioteca Laura Manzo - Universidad Nacional de Quilmes:
Call Number: |
160 FAL |
---|---|
Copy 1 | Available Place a Hold |