Logic library by Peter Hiscocks

.