Матэматычная логіка

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі.



Матэматы́чная ло́гіка (Матэматы́чная лёгіка) — супольнасць матэматычных фармальных тэорый, матэматычнай мадэллю кожнай з якіх з'яўляецца некаторая алгебра логікі.