The language of first-order logic by Barwise, Jon. · Bookplated