Steven Vickers : Topology Via Logic

Steven Vickersin Topology Via Logic tarkastelee topologiaa erityisesti tietojenkäsittelytieteen näkökulmasta, hyödyntäen lokaaliteoriaa ja loogisia menetelmiä. Teos tarjoaa suoran lähestymistavan aiheeseen sekä käsittelee myös aiheeseen liittyviä käytännön sovelluksia.

Kenelle: Tietojenkäsittelytieteen ja matematiikan jatko-opiskelijoille sekä aiheesta kiinnostuneille.