hackasaurus is one lens that could use more polishing.
I know Boolean algebra and Propositional Calculus, at the very least, but I want to learn more about the various types of logics that have been devised to deal with uncertainty and time-dependence, like fuzzy logic and temporal logic.
