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