Gaya APA

Ben-Ari, M. (1993). Mathematical logic for computer science . Englewood Cliffs, NJ: Prentice Hall.

Gaya MLA

Ben-Ari, M.. "Mathematical logic for computer science". Englewood Cliffs, NJ: Prentice Hall, 1993. Text.