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.
First Blood is a 1982 American action adventure film directed by Ted Kotcheff.It is co-written by and starring Sylvester Stallone as John Rambo, a troubled and misunderstood veteran who must rely on his combat and survival senses against the abusive law enforcement of a small town.n 2008, First Blood was named the 253rd greatest film ever by Empire magazine on its 2008 list of The 500 Greatest Movies of All Time. Contemporary and retrospective reviews of the film have been positive, and it is considered by many as one of the best films of 1982.