Logic library by Peter Hiscocks
