Imagen de Google Jackets
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.

Por: Colaborador(es): Tipo de material: TextoTextoSeries 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)
Tema(s): Clasificación LoC:
  • BC 128 F35.1999
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
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

Bibliografía (p. 477-482).