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