Semantics and logics of computation /

Detalles Bibliográficos
Otros Autores: Pitts, A. M. (Andrew M.), Dybjer, Peter
Formato: Libro
Lenguaje:English
Publicado: Cambridge ; New York : Cambridge University Press, 1997.
Colección:Publications of the Newton Institute ; 14
Materias:
Procesamiento electrónico de datos.
Lenguaje de programación(Computadoras) > Semántica.
Lógica matemática.
Descripción
Descripción Física:xii, 361 p. : il. ; 24 cm.
Bibliografía:Incluye bibliografías.
ISBN:0521580579

Ejemplares similares