Prelude to Mathematics - W. W. Sawyer