Computability and logic

Detalles Bibliográficos
Autor principal: Boolos, George S. (-)
Otros Autores: Jeffrey, Richard C.
Formato: Libro
Idioma:Inglés
Publicado: Cambridge : Cambridge University Press 1989 (
Edición:3rd ed

Ejemplares similares