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:![Texto](/opac-tmpl/lib/famfamfam/BK.png)
- 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).