algebraic logic

reasoning about equations with free variables

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

Катэгорыі:

mathematical logicarea of mathematics