I'm using Dowty, Wall and Peters' An Introduction to Montague Semantics. A friend handed me McCawley's Everything that Linguists have Always Wanted to Know about Logic ... last night, and also recommended Cann's Formal Semantics: An Introduction as a reference.
Mostly, I'd like a straightforward resource to scowl at when Dowty and his cohorts begin to sound all garden path-y. I've an instructor and a TA to fall back on if I'm really in a bind, but I'm happiest when I can figure this stuff out on my own. Any suggestions?