Ben-Ari, M. (1993). Mathematical logic for computer science. New York London: Prentice Hall.
Παραπομπή Chicago StyleBen-Ari, M. Mathematical Logic for Computer Science. New York London: Prentice Hall, 1993.
Παραπομπή MLABen-Ari, M. Mathematical Logic for Computer Science. New York London: Prentice Hall, 1993.
Πρόσοχή: Οι παραπομπές μπορεί να μην είναι 100% ακριβείς.