DSpace Kolekcja: http://hdl.handle.net/11320/21363 2026-10-31T07:15:35Z 2026-10-31T07:15:35Z Integral of Measurable Function Endou, Noboru Shidama, Yasunari http://hdl.handle.net/11320/21371 2026-10-29T12:04:34Z 2006-01-01T00:00:00Z Tytuł: Integral of Measurable Function Autorzy: Endou, Noboru; Shidama, Yasunari Abstrakt: In this paper we construct integral of measurable function. 2006-01-01T00:00:00Z Pocklington's Theorem and Bertrand's Postulate Riccardi, Marco http://hdl.handle.net/11320/21366 2026-10-29T12:15:53Z 2006-01-01T00:00:00Z Tytuł: Pocklington's Theorem and Bertrand's Postulate Autorzy: Riccardi, Marco Abstrakt: The first four sections of this article include some auxiliary theorems related to number and finite sequence of numbers, in particular a primality test, the Pocklington's theorem (see [19]). The last section presents the formalization of Bertrand's postulate closely following the book [1], pp. 7-9. 2006-01-01T00:00:00Z