On the one hand, logic is the study of certain mathematical properties of artificial, formal languages. It is concerned with such languages as the first or second order predicate calculus, modal logics, the lambda calculus, categorial grammars, and so forth.
Underworld is a 2003 action horror film directed by Len Wiseman about the secret history of Vampires and Lycans (an abbreviated form of lycanthrope). It is the first (chronologically, the second) installment in the Underworld series. The main plot revolves around Selene (Kate Beckinsale), a vampire Death Dealer hunting Lycans.
Shampoo is a 1975 American satirical romantic comedy-drama film written by Robert Towne and Warren Beatty, and directed by Hal Ashby. It stars Warren Beatty, Julie Christie, and Goldie Hawn, with Lee Grant, Jack Warden, Tony Bill, and, in a first film appearance, Carrie Fisher. The film is set on Election Day 1968, the day Richard Nixon was first elected as President of the United States, and was released soon after the Watergate scandal had reached its conclusion. The political atmosphere provi