Closure spaces and logic. - Martin Norman M; Pollard Stephen (1996)