O artykule
Data publikacji: 13 cze 2008
Zakres stron: 143 - 152
DOI: https://doi.org/10.2478/v10037-006-0018-8
This content is open access.
Based on [16], authors formalized the integral of an extended real valued measurable function in [12] before. However, the integral argued in [12] cannot be applied to real-valued functions unconditionally. Therefore, in this article we have formalized the integral of a real-value function.