Topology via logic

Detalles Bibliográficos
Autor principal: Vickers, Steven (-)
Formato: Libro
Idioma:Inglés
Publicado: Cambridge [etc.] : Cambridge University Press 1989
Colección:Cambridge Tracts in Theoretical Computer Science ; 5
Materias:
Ver en Universidad de Navarra:https://innopac.unav.es/record=b11157549*spi
Descripción
Descripción Física:[8] h., 200 p. ; 25 cm
ISBN:9780521360623