Some Fun Stuff:


Logic Video List

A list of online videos related to logic.

One Plus One Is Two:

A short and probably incorrect predicate logic proof that one plus one is indeed two.