Barwise, J., & Etchemendy, J. (1993). The language of first-order logic: Including the Mackintosh version of Tarski's world 4.0 (3rd ed., rev. & expanded.). Stanford, Calif.: Center for the Study of Language and Information.

Barwise, Jon., và John Etchemendy. The Language of First-order Logic: Including the Mackintosh Version of Tarski's World 4.0. 3rd ed., rev. & expanded. Stanford, Calif.: Center for the Study of Language and Information, 1993.

Barwise, Jon., và John Etchemendy. The Language of First-order Logic: Including the Mackintosh Version of Tarski's World 4.0. 3rd ed., rev. & expanded. Stanford, Calif.: Center for the Study of Language and Information, 1993.