Computability and logic

Computability and logic

Mostrar otras versiones (7)
Detalles Bibliográficos
Autor principal: Boolos, George (-)
Otros Autores: Jeffrey, Richard C., coautor (coautor)
Formato: Libro
Idioma:Inglés
Publicado: Cambridge : University Press 1974
Materias:
Lógica matemática > s. XX.
Ver en Universidad de Navarra:https://innopac.unav.es/record=b1063972x*spi

Ejemplares similares

Ejemplares similares