Buy Me a Coffee at ko-fi.com

Algebraic logic

reasoning about equations with free variables

Pronunciation
/ˌalʤɪˈbreɪɪk ˈlɒʤɪk/
/ˌælʤəˈbreɪɪk ˈlɑʤɪk/