Lógica clásica de primer orden :Estrategias de deducción, formalización y evaluación semántica / José Luis Falguera López; Concepción Martínez Vidal,
Material type:
TextLanguage: Spanish Series: Estructuras y Procesos. Filosofía ; Publication details: Madrid : Trotta , 1999Description: 482 p.; 23 cmISBN: 84-8164-317-3 (Tomo I)Subject(s): Lógica Formal
| Item type | Current library | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|
Libros
|
San Esteban Valladolid | 25/5 (Browse shelf (Opens below)) | Available | VA48323 |
