TY  - GEN
AU  - Shidama,Yasunari
AU  - Endou,Noboru
AU  - Kawamoto,Pauline Naomi
TI  - On the Formalization of Lebesgue Integrals
KW  - Całka Lebesgue'a
KW  - kaba
N1  - Tytuł. nagł; Błędny zapis imienia Noboru Endou; Bibliogr. s. 177
ER  -