Structural Account Mathematics P by Charles S. Chihara