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

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

Перайсьці да: навігацыя, пошук

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


Асабістыя прылады