THIS is a thoroughly good book which deserves to run through many editions. It is not (as its title might suggest) a book on mathematical logic or philosophy: it deals not with the nature of ...