A Crash Course in Predicate Logic (by hwayne) — discussion

#math