Reference and Representation: An Approach to First-Order Semantics
Ryan Veeder