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

разьдзел матэматыкі

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

Глядзіце таксамаРэдагаваць