Barwise, J., & Etchemendy, J. (1993). The Language of first-order logic: Including the Macintosh TM program Tarski's World (3rd ed. revised and expanded.). Center for the Study of Language and Information.
Chicago Style (17th ed.) CitationBarwise, Jon, and John Etchemendy. The Language of First-order Logic: Including the Macintosh TM Program Tarski's World. 3rd ed. revised and expanded. Menlo Park: Center for the Study of Language and Information, 1993.
MLA (9th ed.) CitationBarwise, Jon, and John Etchemendy. The Language of First-order Logic: Including the Macintosh TM Program Tarski's World. 3rd ed. revised and expanded. Center for the Study of Language and Information, 1993.
Warning: These citations may not always be 100% accurate.