Mathematical Logic for Computer Science

MLA

Ben-Ari, Mordechai. Mathematical Logic for Computer Science. Springer London, 2012.

APA

Ben-Ari, M. (2012). Mathematical Logic for Computer Science. Springer London.

Chicago

Ben-Ari, Mordechai Mathematical Logic for Computer Science. : Springer London, 2012.