DSpace Kolekcja: http://hdl.handle.net/11320/21363 2026-10-31T13:28:41Z Integral of Measurable Function http://hdl.handle.net/11320/21371 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 http://hdl.handle.net/11320/21366 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