Language logic and mathematics - Kilmister, C. W. (Clive William) (New science series, 1967)