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
Browsing Madrid Villaviciosa shelves, Shelving location: Depósito C (Villaviciosa de Odón) Close shelf browser (Hides shelf browser)
| No cover image available | No cover image available | |||||||
| B4568 .Z83 E87 1996 Espacio, tiempo, materia | B4568 .Z84 P56 1996 Xavier Zubiri : (1898-1983) | BC50 .B33 2000 Elementos de lógica formal | BC50 .F35 1999 Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica | BC50 .F35 1999 Lógica clásica de primer orden : estrategias de deducción, formalización y evaluación semántica | BC73 .H8718 1999 Investigaciones lógicas | BC73 .H8718 2001 Investigaciones lógicas |
páginas 477-482
Tomo 1
There are no comments on this title.
Log in to your account to post a comment.