Logic for computer scientists

Detalles Bibliográficos
Autor principal: Schöning, Uwe, 1955- (-)
Formato: Libro
Idioma:Inglés
Publicado: Boston [etc.] : Birkhäuser 1989.
Colección:Progress in Computer Science and Applied Logic ; 8
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991000719459703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Descripción Física:166 p. : il. ; 24 cm
Bibliografía:Bibliogr.: p. 155-159. Índice
ISBN:9780817634537
9783764334536