Informal Lectures on Formal Semantics (SUNY series in Linguistics)