Матэматычная лёгіка
разьдзел матэматыкі
Матэматы́чная лё́гіка — супольнасьць матэматычных фармальных тэорый, матэматычнай мадэльлю кожнай зь якіх зьяўляецца некаторая альгебра лёгікі.
Глядзіце таксамаРэдагаваць
Гэта — накід артыкула па матэматыцы. Вы можаце дапамагчы Вікіпэдыі, пашырыўшы яго. |