Abstract: "This is the first part of two talks. We will review the highlights of first order logic and define the notion of an abstract logic."
![](/sites/all/themes/cas7/images/untbanner.png)
Thinking about UNT?
It's easy to apply online. Join us and discover why we're the choice of over 46,000 students.
Apply now