Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica / José L. Falguera López, Concepción Martínez Vidal
By: Falguera López, José L.
Contributor(s): Martínez Vidal, C.
Material type: 
Printed booksSeries: (Estructuras y procesos . Filosofía).Publisher: Madrid : Trotta, D.L. 1999Description: 482 páginas; 23 cm.ISBN: 8481642916 (obra completa); 8481643173 (T. 1).Subject: Lógica matemática
Contents:
| Item type | Current library | Collection | Call number | Vol info | Copy number | Status | Date due | Barcode | Item holds | |
|---|---|---|---|---|---|---|---|---|---|---|
LIBRO7
|
Madrid Villaviciosa Depósito C (Villaviciosa de Odón) | Ciencias Sociales | BC50 .F35 1999 (Browse shelf(Opens below)) | T. 1 | .i10606877 | Available | 9300574740 |
Total holds: 0
páginas 477-482
Tomo 1
There are no comments on this title.
Log in to your account to post a comment.