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/

Categories:

mathematical logicarea of mathematics