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