You are viewing a single comment's thread from:
RE: An introduction to attribute logic aka first-order logic
thx mate, the math can help to get "the unnecessary" parts of the language out of the way. It is bizarre at first, but it helps to truly focus on the logic of an argument.
Definitely, agree with you on that