This concise introduction takes the reader from standard notions to more advanced topics. It introduces the classic results, as well as more recent developments in this vibrant area of mathematical logic. Many worked examples and exercises make the book a useful resource for graduate students as well as researchers.