Philos Mathematics Orp P door David J. Hart