This chapter introduces logic, in particular Monadic Second-Order Logic over finite words. Familiarity with mathematical logic, typically in the form of general First-Order Logic, is helpful but not strictly necessary for reading this chapter. For those who are familiar with logic in general it is worth noting that – throughout the entire book – the logics under consideration are interpreted over structures of particular shape, for instance over finite words only.