Language logic and mathematics.
Kilmister, C. W.(Clive William)
London,
1967.