Saltar al contenido
BDU3
  • Inicio
  • Su cuenta
  • Salir
  • Entrar
Avanzado
  • Buscar
  • Handbook of logic in computer...
  • Citar
  • Imprimir
  • Exportar
  • Agregar a favoritos
  • Enlace Permanente

Handbook of logic in computer science

Mostrar otras versiones (3)
Guardado en:
Detalles Bibliográficos
Otros Autores: Abramsky, S., Gabbay, Dov M., Maibaum, T. S. E.
Formato: Libro
Lenguaje:Inglés
Publicado: Oxford : Clarendon Press, c1992-1995
Materias:
LOGICA MATEMATICA
Aporte de:Registro referencial: Solicitar el recurso aquí
Biblioteca Central Dr. Luis F. Leloir (FCEN) de Universidad de Buenos Aires
  • Existencias
  • Descripción
  • Otras Versiones (3)
  • Ejemplares similares
  • Metadatos

Ejemplares similares

  • Handbook of logic in computer science /
    Publicado: (1999)
  • Handbook of logic in computer science /
    Publicado: (1999)
  • HANDBOOK of logic in computer science.
    Publicado: (1999)
  • Logic from computer science
    Publicado: (1992)
  • Logic for computer science : foundations of automatic theorem proving
    por: Gallier, Jean H.
    Publicado: (1987)

Opciones de búsqueda

  • Historial de Búsqueda
  • Búsqueda Avanzada

Buscar Más

  • Revisar el Catálogo
  • Explorar canales
  • Tour (beta)

¿Necesita Ayuda?

  • Consejos de búsqueda
  • Preguntas Frecuentes
  • Contacte al adminstrador
Cargando...