logic for mathematicians - "hamilton, a g. " (uk : cambridge, 1978)