The language of first-order logic by Barwise, Jon. | Menrva Books | MenrvaBooks