Computability and logic

Mostrar otras versiones (3)
Detalles Bibliográficos
Autor principal: Boolos, George S.
Otros Autores: Jeffrey, Richard C. (, coaut.)
Formato: Libro
Publicado: New York : Cambridge University Press, 1989 (reimpr. 1992)
Edición:3rd ed
Colección:Open university set book
Materias:
Funciones recursivas
Lógica matemática
Programación (Computadoras)

Ejemplares similares

Ejemplares similares