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

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

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

Глядзіце таксама[рэдагаваць | рэдагаваць крыніцу]