Logic : a foundation for computer science

Detalles Bibliográficos
Autor principal: Sperschneider, Volker (-)
Otros Autores: Antoniou, G. (Grigoris)
Formato: Libro
Idioma:Inglés
Publicado: Wokingham [etc.] : Addison-Wesley 1991.
Colección:International Computer Science Series
Materias:
Ver en Universidad de Deusto:https://oceano.biblioteca.deusto.es/primo-explore/search?query=any,contains,991003916049703351&tab=default_tab&search_scope=deusto_alma&vid=deusto
Solicitar por préstamo interbibliotecario: Correo
Descripción
Descripción Física:XII, 495 p. ; 24 cm
Bibliografía:Bibliogr.: p. 485-490
ISBN:9780201565140