Ben-Ari, M. (1993). Mathematical logic for computer science. Prentice-Hall.
Cita Chicago Style (17a ed.)Ben-Ari, M. Mathematical Logic for Computer Science. New York [etc.]: Prentice-Hall, 1993.
Cita MLA (9a ed.)Ben-Ari, M. Mathematical Logic for Computer Science. Prentice-Hall, 1993.
Precaución: Estas citas no son 100% exactas.