Catálogo
Bilbliográfico

Lógica combinatoria/ Haskell B. Curry, Robert Feys; trad.Manuel Sacristan

Por: Colaborador(es): Tipo de material: TextoTextoDetalles de publicación: España : TECNOS, 1964Descripción: 508 pTema(s): Clasificación CDD:
  • 164 C87
Contenidos:
1. el teorema de Church - Rosser, -- 2.la teoría básica de la funcionalidad
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 Copia número Estado Fecha de vencimiento Código de barras
Libro General Libro General Biblioteca Central Campus Universitario Colección General 164 C87 (Navegar estantería(Abre debajo)) Ej. 1 Disponible (Acceso Libre) 010979

incuye bibliografía e índice

1. el teorema de Church - Rosser, -- 2.la teoría básica de la funcionalidad

No hay comentarios en este titulo.

para colocar un comentario.