Closure Spaces and Logic door Norman M. Martin & Stephen Pollard