Leram - Mathematics and Humor: A Study of the Logic of Humor