Topology via logic /

Uloženo v:
Podrobná bibliografie
Hlavní autor: Vickers, Steven. (Autor)
Typ dokumentu: Kniha
Jazyk:Angličtina
Vydáno: Cambridge : Cambridge University Press, c1999.
Edice:Cambridge Tracts in Theoretical Computer Science
Témata:
Popis
Fyzický popis:200 s.
ISBN:0-521-36062-5