5 External references

• http://cnx.org/content/m10728/latest/ is a fairly complete discussion of quantifiers and first order logic. It is a bit more formal (and complete) than this module. It serves as a good second source of information as well as a reference for your classes in a four-year university.