Construction of arithmetical meanings and strategies (Springer, 1988)