This week we discuss the completeness theorem for the propositional calculus. Details can be found in this handout. You should also read Lemmon Chapter 4 during the next two weeks.

Police investigating allegations of lobbying by the Unification Church have referred Church leader Han Hak-ja and three other key executives to prosecutors. The National Police Agency’s National ...

Chinese President Xi Jinping reiterated his government's designs for unification with Taiwan during his annual New Year's Eve address. "We Chinese on both sides of the Taiwan Strait share a bond of ...