http://hdl.handle.net/11320/21363 Thu, 29 Oct 2026 23:57:19 GMT 2026-10-29T23:57:19Z 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. Sun, 01 Jan 2006 00:00:00 GMT http://hdl.handle.net/11320/21371 2006-01-01T00:00:00Z 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. Sun, 01 Jan 2006 00:00:00 GMT http://hdl.handle.net/11320/21366 2006-01-01T00:00:00Z