Closure Spaces and Logic - Martin, Norman M. (Mathematics and its applications ;, 1996)