Ben-Arî, M. [ca. 2003]. Mathematical logic for computer science (2 ed., 3. printing. Aufl.) [Book]. London [u.a.]: Springer.
ISO-690 (author-date, English)BEN-ARÎ, Môtî, 2003. Mathematical logic for computer science. 2 ed., 3. printing. London [u.a.]: Springer. ISBN 1852333197.
Modern Language Association 9th editionBen-Arî, M. Mathematical logic for computer science. 2 ed., 3. printing. Aufl., book, Springer, 2003.
Mohr Siebeck - Recht (Deutsch - Österreich)Ben-Arî, Môtî: Mathematical logic for computer science, 2 ed., 3. printing. Aufl. London [u.a.] 2003.
Emerald - HarvardBen-Arî, M. (2003), Mathematical logic for computer science, 2 ed., 3. printing. Aufl., Bd. , Springer, London [u.a.].
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.