This course provides an introduction to modern formal semantic theory, as instantiated by the textbook of