geometry and logic - "bailey, c a. " (uk : edward arnold, 1966)