Lanean...

Topology via logic

Xehetasun bibliografikoak
Egile nagusia: Vickers, Steven
Formatua: Printed Book
Argitaratua: Cambridge university press 1989
Deskribapena
Alearen deskribapena:cambridge tracts in theoretical computer science