Topology via logic /

Hlavní autor:
Vickers, Steven ( Autor )
Typ dokumentu: Kniha
Jazyk: angličtina
Vydavatel: Cambridge [England] : New York : Cambridge University Press, 1989.
Edice: Cambridge tracts in theoretical computer science ; 5
Předmět:
Externí odkaz: Sample text
Publisher description
Table of contents