Logic and Utitiy of Mathematics door Lld Charles Davies