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