The Logical Foundations of Mathematics (Foundations and philosophy of science and technology)