the language of mathematics - "land, frank . " (uk : john murray, 1962)