Vista normal
Vista MARC
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.
Tipo de material: TextoSeries Colección estructuras y procesos. Serie filosofíaDetalles de publicación: Madrid : Trotta, 1999.Descripción: 2 v. ; 23 cmISBN:- 8481642916 (obra completa)
- 8481643173 (v. 1)
- 8481643181 (v. 2)
- BC 128 F35.1999
Tipo de ítem | Biblioteca actual | Colección | Signatura topográfica | Copia número | Estado | Fecha de vencimiento | Código de barras | |
---|---|---|---|---|---|---|---|---|
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | BC 128 F35.1999 (Navegar estantería(Abre debajo)) | v. 1 | Disponible | 241579 | ||
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | BC 128 F35.1999 (Navegar estantería(Abre debajo)) | v. 2 | Disponible | 241580 | ||
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | BC 128 F35.1999 (Navegar estantería(Abre debajo)) | v. 1, ej. 2 | Disponible | 285757 | ||
Libros | Biblioteca Francisco Xavier Clavigero Acervo | Acervo General | BC 128 F35.1999 (Navegar estantería(Abre debajo)) | v. 2, ej. 2 | Disponible | 285770 |
Navegando Biblioteca Francisco Xavier Clavigero estanterías, Ubicación en estantería: Acervo, Colección: Acervo General Cerrar el navegador de estanterías (Oculta el navegador de estanterías)
Bibliografía (p. 477-482).