algebraic logic

reasoning about equations with free variables

en-GB/ˌæld͡ʒɪˈbɹeɪɪk ˈlɒd͡ʒɪk/
en-US/ˌæld͡ʒəˈbɹeɪɪk ˈlɑd͡ʒɪk/

دسته بندی ها:

mathematical logicarea of mathematics