Ben-Arî, M. (2003). Mathematical logic for computer science (2. ed. 3. print.). Springer.
Chicago-Zitierstil (17. Ausg.)Ben-Arî, Môtî. Mathematical Logic for Computer Science. 2. ed. 3. print. London [u.a.]: Springer, 2003.
MLA-Zitierstil (9. Ausg.)Ben-Arî, Môtî. Mathematical Logic for Computer Science. 2. ed. 3. print. Springer, 2003.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.