An introduction to formal languages used in logic, including the syntax and semantics of such languages.