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

Зьвесткі зь Вікіпэдыі — вольнай энцыкляпэдыі
Перайсьці да: навігацыі, пошуку

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

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