An invitation to formal reasoning : the logic of terms /: the logic of terms. (2017)