of predicate logic, but employs a non-standard form of variable-binding. PFO, on the other hand, retains essentially the standard semantics, but uses slightly different syntax, with yet another mode ...

This is a second course in symbolic logic. Our course presupposes you have had a first course in symbolic deductive logic, such as Sac State's PHIL 60, or CSC 28, or you have learned this material on ...