Handbook of logic in computer science. V, Logic and algebraic methods / volume co-ordinator Dov M. Gabbay

Handbook of logic in computer science V, Logic and algebraic methods / volume co-ordinator Dov M. Gabbay V, Logic and algebraic methods / volume co-ordinator Dov M. Gabbay /

Mostrar otras versiones (1)
Detalles Bibliográficos
Otros Autores: Abramsky, S., editor literario (editor literario), Gabbay, Dov M., 1945- editor literario, Maibaum, T.S.E., editor literario
Formato: Libro
Idioma:Inglés
Publicado: Oxford : Clarendon Press 2000
Materias:
Informática.
Lógica matemática.
Ver en Universidad de Navarra:https://innopac.unav.es/record=b14721570*spi
Descripción
Descripción Física:v. V (XVIII, 537 p.) ; 25 cm
ISBN:9780198537816

Ejemplares similares