The lambda calculus : its syntax and semantics

Detalles Bibliográficos
Autor principal: Barendregt, H. P. (Hendrik Pieter)
Formato: Libro
Lenguaje:English
Publicado: Amsterdam ; Sole distributors for the U.S.A. and Canada, Elsevier Science Pub. Co., 1984.
Edición:Rev. ed.
Colección:Studies in logic and the foundations of mathematics ; v. 103
Materias:
Cálculo lambda.

Física, Matemáticas e Inteligencia Artificial Xalapa -

Detalle de Existencias desde Física, Matemáticas e Inteligencia Artificial Xalapa -
Número de Clasificación: QA9.5 B37 1984
Copia 1 Disponible Hacer reserva
Notas:
  • MATEM

Unidad de Servicios Bibliotecarios y de Información Xalapa -

Detalle de Existencias desde Unidad de Servicios Bibliotecarios y de Información Xalapa -
Número de Clasificación: QA9.5 B37 1984
Copia 1 Disponible Hacer reserva
Notas:
  • 1TMATEMATI

Ejemplares similares