Cargando…

Handbook of logic in computer science

Detalles Bibliográficos
Autores principales: Gabbay, D M, Maibaum, T S E, Abramsky, S
Lenguaje:eng
Publicado: Clarendon Press 1992
Materias:
Acceso en línea:http://cds.cern.ch/record/243757