mathworld subject general logic