Barwise, J., & Etchemendy, J. (1991). The language of first-order logic: Including the Macintosh TM program "Tarski's world" (2. ed., rev. and expanded.). Center for the Study of Language and Information.
Chicago-Zitierstil (17. Ausg.)Barwise, Jon, und John Etchemendy. The Language of First-order Logic: Including the Macintosh TM Program "Tarski's World". 2. ed., rev. and expanded. Menlo Park, CA u.a: Center for the Study of Language and Information, 1991.
MLA-Zitierstil (9. Ausg.)Barwise, Jon, und John Etchemendy. The Language of First-order Logic: Including the Macintosh TM Program "Tarski's World". 2. ed., rev. and expanded. Center for the Study of Language and Information, 1991.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.