The main textbook for this course is

Paul Portner. 2005. What is Meaning? Fundamentals of Formal Semantics. Blackwell. ISBN: 1405109181. Paperback, $29.95. Available at MIT Coop in Kendall Square.