Shidama, Yasunari. <br/><br/>
On the Formalization of Lebesgue Integrals / 
Yasunari Shidama, Noburu Endou, and Pauline N. Kawamoto. 
<br/><br/> Tytuł. nagł.  Błędny zapis imienia Noboru Endou. 
<br/><br/>Bibliogr. s. 177. 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Całka Lebesgue'a.