Lògica Simbòlica para informàticos

Por: Tipo de material: TextoTextoDetalles de publicación: México : AlfaomegaDescripción: 299pISBN:
  • 9701510720
Tema(s): Clasificación CDD:
  • 005.131 J854l
Contenidos:
Introduccion a la logica, Semantica, Calculo axiomatico y propiedades formales, Logica de predicados, Semantica, Calculo de decuccion natural
Etiquetas de esta biblioteca: No hay etiquetas de esta biblioteca para este título. Ingresar para agregar etiquetas.
Valoración
    Valoración media: 0.0 (0 votos)
Existencias
Tipo de ítem Biblioteca actual Colección Signatura topográfica Info Vol Copia número Estado Código de barras
LIbro LIbro Biblioteca Pública Germán Arciniegas - Villavicencio Sala Especializada Tercer Piso 005.131 J854l (Navegar estantería(Abre debajo)) Volumen. 1 | 16/nov/2009 Ej. 1 Disponible 23065

Introduccion a la logica, Semantica, Calculo axiomatico y propiedades formales, Logica de predicados, Semantica, Calculo de decuccion natural

No hay comentarios en este titulo.

para colocar un comentario.








Instituto Departamental de Cultura del Meta - Red Departamental de Bibliotecas Públicas del Meta.