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