Catalog description: Introduction to deductive logic. Topics include: basic concepts of deductive logic; techniques of formal proof in propositional and predicate logic. 3 units. Prerequisites: No ...
"Even the +, −, =, and x signs we take for granted only came into widespread use in the 17th century. Which means that the earlier algebraists we know of … all had expressed their equations mostly in ...