Language Of First-Order Logic by Jon Barwise & John Etchemendy